Model-Theoretic Logecs (Бичлэгийн дугаар. 96720)
| 000 -УДИРДЛАГА | |
|---|---|
| Удирдлага | 00515nam a22001817a 4500 |
| 008 - ЕРӨНХИЙ МЭДЭЭЛЭЛ | |
| Ерөнхий мэдээлэл | 130320t xxu||||| |||| 00| 0 eng d |
| 020 ## - ISBN | |
| ISBN | 0387909362 |
| 084 ## - ББК АНГИЛАЛ | |
| ББК ангилал | 22.12 |
| Зохиогчийн гурван тэмдэгт | M-78 |
| Нэмэлт тусгалт | Гарын авлага |
| Мэдлэгийн ялгаа | 2 - Байгалийн шинжлэл |
| 100 10 - ЗОХИОГЧ | |
| Зохиогчийн нэр | J.Barwise, S.Feferman |
| 245 10 - ҮНДСЭН ГАРЧИГ | |
| Номын нэр | Model-Theoretic Logecs |
| 260 ## - ГАРАЛТЫН МЭДЭЭ | |
| Хэвлэгдсэн газар | Berlin |
| Хэвлэлийн газар | Springer |
| Хэвлэгдсэн он | 1985 |
| 300 ## - МАТЕРИАЛЫН ТОДОРХОЙЛОЛТ | |
| хуудасны тоо | 793 |
| 520 ## - Хэл | |
| Бичвэрийн хэл | English |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | Introduction, Basic Theory and Examples |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | Finitary Languages with Additional Quantifers |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | Infinitary Languages |
| 942 ## - ЭЛЕМЕНТИЙН ТӨРӨЛ | |
| Зүйлийн төрөл | Ном |
