Systems of Logic (Бичлэгийн дугаар. 98838)
000 -УДИРДЛАГА | |
---|---|
Удирдлага | 01055nam a22003857a 4500 |
003 - ХЯНАЛТЫН ТОО ТОДОРХОЙЛОГЧ | |
Код | MN-UlNUM |
005 - БИЧИЛТ ХИЙСЭН ОГНОО | |
Тухайн бичилтийг бичсэн засварласан сүүлийн огноо | 20200409113013.0 |
008 - ЕРӨНХИЙ МЭДЭЭЛЭЛ | |
Ерөнхий мэдээлэл | 130530t1989 us ||||| |||| 00| 0 eng d |
020 ## - ISBN | |
ISBN | 0-521-36589-9 |
-- | 0-521-36770-0 |
040 ## - БИЧЛЭГ ҮҮСГЭГЧ БАЙГУУЛЛАГА | |
Бичлэг үүсгэгч номын сангийн код | МУИС-ийн номын сан |
084 ## - ББК АНГИЛАЛ | |
ББК ангилал | 22.12 |
Зохиогчийн гурван тэмдэгт | M 36 |
Нэмэлт тусгалт | Бусад |
Мэдлэгийн ялгаа | 2 - Байгалийн шинжлэл |
100 ## - ЗОХИОГЧ | |
Зохиогчийн нэр | Martin, Norman M |
240 ## - Шифр - Номын наалт, тайланд хэрэглэх | |
Ангилалын дугаар /Зохиогчийн 3 тэмдэгт | 22.12 M 36 |
245 ## - ҮНДСЭН ГАРЧИГ | |
Номын нэр | Systems of Logic |
260 ## - ГАРАЛТЫН МЭДЭЭ | |
Хэвлэгдсэн газар | NY |
Хэвлэлийн газар | Cambride University Press |
Хэвлэгдсэн он | 1989 |
300 ## - МАТЕРИАЛЫН ТОДОРХОЙЛОЛТ | |
хуудасны тоо | 318 |
500 ## - Тайлбар | |
Дансны дугаар | ГФ 17203 |
546 ## - ХЭЛНИЙ ТУХАЙ МЭДЭЭ | |
Хэл | Англи хэл дээр, |
653 ## - Түлхүүр үг | |
Түлхүүр үг | logic |
653 ## - Түлхүүр үг | |
Түлхүүр үг | mathematical |
653 ## - Түлхүүр үг | |
Түлхүүр үг | symbolic |
740 ## - НОМЫН ГАРЧИГ | |
Гарчиг | Formal systems and structure theory |
740 ## - НОМЫН ГАРЧИГ | |
Гарчиг | Zero-order logic: proof theory |
740 ## - НОМЫН ГАРЧИГ | |
Гарчиг | Zero-order model thoery |
740 ## - НОМЫН ГАРЧИГ | |
Гарчиг | Positive implication |
740 ## - НОМЫН ГАРЧИГ | |
Гарчиг | Negation |
740 ## - НОМЫН ГАРЧИГ | |
Гарчиг | Complete implication-negation logic |
740 ## - НОМЫН ГАРЧИГ | |
Гарчиг | Disjunction |
740 ## - НОМЫН ГАРЧИГ | |
Гарчиг | Conjunction |
740 ## - НОМЫН ГАРЧИГ | |
Гарчиг | Multi-connective systems |
740 ## - НОМЫН ГАРЧИГ | |
Гарчиг | Strict implications: introduction |
740 ## - НОМЫН ГАРЧИГ | |
Гарчиг | Strict implications: addition results |
942 ## - ЭЛЕМЕНТИЙН ТӨРӨЛ | |
Зүйлийн төрөл | Ном |