Текст томруулах:    
Logic for Applications (Бичлэгийн дугаар. 97087)
000 -УДИРДЛАГА
Удирдлага 00910nam a22003617a 4500
003 - ХЯНАЛТЫН ТОО ТОДОРХОЙЛОГЧ
Код MN-UlNUM
005 - БИЧИЛТ ХИЙСЭН ОГНОО
Тухайн бичилтийг бичсэн засварласан сүүлийн огноо 20190905104121.0
008 - ЕРӨНХИЙ МЭДЭЭЛЭЛ
Ерөнхий мэдээлэл 130403t2006 cc ||||| |||| 00| 0 eng d
020 ## - ISBN
ISBN 7-111-19772-0
-- 0-387-94893-7
040 ## - БИЧЛЭГ ҮҮСГЭГЧ БАЙГУУЛЛАГА
Бичлэг үүсгэгч номын сангийн код МУИС-ийн номын сан
084 ## - ББК АНГИЛАЛ
ББК ангилал 22.12
Зохиогчийн гурван тэмдэгт N 43
Нэмэлт тусгалт Гарын авлага
Мэдлэгийн ялгаа 2 - Байгалийн шинжлэл
100 10 - ЗОХИОГЧ
Зохиогчийн нэр Nerode A
240 ## - Шифр - Номын наалт, тайланд хэрэглэх
Ангилалын дугаар /Зохиогчийн 3 тэмдэгт 22.12 N 43
245 10 - ҮНДСЭН ГАРЧИГ
Номын нэр Logic for Applications
250 ## - ДАХИН ХЭВЛЭЛТ
Дахин гаралтын дугаар 2nd ed
260 ## - ГАРАЛТЫН МЭДЭЭ
Хэвлэлийн газар China Machine Press
Хэвлэгдсэн он 2006
Хэвлэгдсэн газар Beijing
300 ## - МАТЕРИАЛЫН ТОДОРХОЙЛОЛТ
хуудасны тоо 456 p
500 ## - Тайлбар
Дансны дугаар ГФ 16804
546 ## - ХЭЛНИЙ ТУХАЙ МЭДЭЭ
Хэл Англи хэл дээр,
653 ## - Түлхүүр үг
Түлхүүр үг mathematical logic
653 ## - Түлхүүр үг
Түлхүүр үг modal logic
653 ## - Түлхүүр үг
Түлхүүр үг frames and forcing
700 ## - ХАМ ЗОХИОГЧИД
Ба бус Shore R.A
740 ## - НОМЫН ГАРЧИГ
Гарчиг Propositional logic
740 ## - НОМЫН ГАРЧИГ
Гарчиг PredicateLogic
740 ## - НОМЫН ГАРЧИГ
Гарчиг PROLOG
740 ## - НОМЫН ГАРЧИГ
Гарчиг Modal Logic
740 ## - НОМЫН ГАРЧИГ
Гарчиг Instuitionistic logic
740 ## - НОМЫН ГАРЧИГ
Гарчиг Elements of Set Theory
740 ## - НОМЫН ГАРЧИГ
Гарчиг An Historical Overview
942 ## - ЭЛЕМЕНТИЙН ТӨРӨЛ
Зүйлийн төрөл Ном