Computability and Logic (Бичлэгийн дугаар. 105416)
| 000 -УДИРДЛАГА | |
|---|---|
| Удирдлага | 01071nam a22004097a 4500 |
| 003 - ХЯНАЛТЫН ТОО ТОДОРХОЙЛОГЧ | |
| Код | MN-UlNUM |
| 005 - БИЧИЛТ ХИЙСЭН ОГНОО | |
| Тухайн бичилтийг бичсэн засварласан сүүлийн огноо | 20200420105956.0 |
| 008 - ЕРӨНХИЙ МЭДЭЭЛЭЛ | |
| Ерөнхий мэдээлэл | 141103t2003 cc ||||| |||| 00| 0 eng d |
| 020 ## - ISBN | |
| ISBN | 7-5053-8828-2 |
| -- | 978-7-5053-8828-4 |
| 040 ## - БИЧЛЭГ ҮҮСГЭГЧ БАЙГУУЛЛАГА | |
| Бичлэг үүсгэгч номын сангийн код | МУИС-ийн номын сан |
| 084 ## - ББК АНГИЛАЛ | |
| Нэмэлт тусгалт | Бусад |
| ББК ангилал | 22.12 |
| Зохиогчийн гурван тэмдэгт | B 77 |
| 100 ## - ЗОХИОГЧ | |
| Зохиогчийн нэр | Boolos, George S |
| 240 10 - Шифр - Номын наалт, тайланд хэрэглэх | |
| Ангилалын дугаар /Зохиогчийн 3 тэмдэгт | 22.12 B 77 |
| 245 1# - ҮНДСЭН ГАРЧИГ | |
| Номын нэр | Computability and Logic |
| 250 ## - ДАХИН ХЭВЛЭЛТ | |
| Дахин гаралтын дугаар | 4th ed |
| 260 ## - ГАРАЛТЫН МЭДЭЭ | |
| Хэвлэгдсэн газар | Beijing |
| Хэвлэгдсэн он | 2003 |
| Хэвлэлийн газар | Tshinghua University press |
| 300 ## - МАТЕРИАЛЫН ТОДОРХОЙЛОЛТ | |
| хуудасны тоо | 356 |
| 500 ## - Тайлбар | |
| Дансны дугаар | ГФ 18121 |
| 546 ## - ХЭЛНИЙ ТУХАЙ МЭДЭЭ | |
| Хэл | Англи хэл дээр, |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | mathematics |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | functions |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | theorem |
| 700 ## - ХАМ ЗОХИОГЧИД | |
| Ба бус | Burgess, John P |
| 700 ## - ХАМ ЗОХИОГЧИД | |
| Ба бус | Jeffrey, Richard C |
| 740 ## - НОМЫН ГАРЧИГ | |
| Гарчиг | Enumerability |
| 740 ## - НОМЫН ГАРЧИГ | |
| Гарчиг | Diagonalization |
| 740 ## - НОМЫН ГАРЧИГ | |
| Гарчиг | Turing Computability |
| 740 ## - НОМЫН ГАРЧИГ | |
| Гарчиг | Uncomputability |
| 740 ## - НОМЫН ГАРЧИГ | |
| Гарчиг | The Undecidability of First-Order Logic |
| 740 ## - НОМЫН ГАРЧИГ | |
| Гарчиг | Models |
| 740 ## - НОМЫН ГАРЧИГ | |
| Гарчиг | Normal Forms |
| 740 ## - НОМЫН ГАРЧИГ | |
| Гарчиг | The Graid Interpolation Theorem |
| 740 ## - НОМЫН ГАРЧИГ | |
| Гарчиг | Monadic and Dyadic Logic |
| 740 ## - НОМЫН ГАРЧИГ | |
| Гарчиг | Second-Order Logic |
| 942 ## - ЭЛЕМЕНТИЙН ТӨРӨЛ | |
| Зүйлийн төрөл | Ном |