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 ## - ЭЛЕМЕНТИЙН ТӨРӨЛ | |
Зүйлийн төрөл | Ном |