dc.contributor.author | Эллиот Мендельсон | |
dc.date.accessioned | 2016-02-21T16:49:55Z | |
dc.date.available | 2016-02-21T16:49:55Z | |
dc.date.issued | 1976 | |
dc.identifier.isbn | | |
dc.identifier.issn | | |
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/33018 | |
dc.description.abstract | В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Следует однако отметить, что в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики. Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и упражнений. В упражнения автор вынес также некоторые результаты, используемые затем в основном тексте. Это, наряду с лаконичностью изложения, способствовало сокращению размеров книги при весьма обширном содержании. Переводчик и редактор перевода позволили себе без специальных оговорок и примечаний исправить ряд неточностей и опечаток, имевшихся в оригинале, а также привести терминологию и обозначения в соответствие с принятыми в русской литературе. Книгу Э. Мендельсона можно рекомендовать в качестве пособия не только студентам и аспирантам, специализирующимся по математической логике, но также всякому, кто захочет начать систематическое изучение этого предмета. | |
dc.language.iso | Russian | |
dc.publisher | Наука | |
dc.subject | Математика\\Математическая логика | |
dc.subject | Mathematics\\Logic | |
dc.subject.ddc | | |
dc.subject.lcc | | |
dc.title | Введение в математическую логику | |
dc.type | other | |
dc.identifier.aich | 2T7SNTF6XRNJ37X2R6Y3LJWMYTQDOKDN | |
dc.identifier.crc32 | 7E36A85B | |
dc.identifier.doi | | |
dc.identifier.edonkey | FC48C71281DEB1AAC64BC9AD1240422C | |
dc.identifier.googlebookid | | |
dc.identifier.openlibraryid | | |
dc.identifier.udk | | |
dc.identifier.bbk | | |
dc.identifier.libgenid | 1411339 | |
dc.identifier.md5 | 16f5f3efe5ce16a7f8eba4fc47756889 | |
dc.identifier.sha1 | 5JRQVTX3P77PCQJMB3M62VPA2PQ3ONC7 | |
dc.identifier.tth | DFLLT2BQIM42ZHDNCS67LC5KDBLWBSFADFN4PLI | |