dc.contributor.author | Мендельсон Э. | |
dc.date.accessioned | 2016-02-22T14:33:34Z | |
dc.date.available | 2016-02-22T14:33:34Z | |
dc.date.issued | 1971 | |
dc.identifier.isbn | | |
dc.identifier.issn | | |
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/57483 | |
dc.description.abstract | Аннотация: В книге Э. Мендельсона'Введение в математическую логику? дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С. К. Клини'Введение в метаматематику', которая до настоящего времени служила наиболее полным пособием по математической логике. Следует однако отметить, что в отличие от книги С. К. Клини в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики. Другие книги по математической логике на сайте: Мальцев А.Н. Алгоритмы и рекурсивные функции Мальцев А.И. Избранные труды, в 2-х томах Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов Крайзель Г. Исследования по теории доказательств Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику Клини С.К. Математическая логика Гохман А.В. Сборник задач по математической логике и алгебре множеств Гилберт Д., Аккерман В. Основы теоретической логики Гилберт Д., Бернайс П. Основания математики Р. Грэхем, Д. Кнут, О. Паташник Конкретная математика. Основание информатики | |
dc.language.iso | Russian | |
dc.publisher | Наука | |
dc.subject | Математика\\Прикладная математика | |
dc.subject | Mathematics\\Applied Mathematicsematics | |
dc.subject.ddc | | |
dc.subject.lcc | | |
dc.title | Введение в математическую логику | |
dc.type | other | |
dc.identifier.aich | WNUZXXCYF4IAQBJIDXSBSCSSX6GJJAYJ | |
dc.identifier.crc32 | D4787C48 | |
dc.identifier.doi | | |
dc.identifier.edonkey | 408C03F7154D5DF5A97FAAD0D2CB0903 | |
dc.identifier.googlebookid | | |
dc.identifier.openlibraryid | | |
dc.identifier.udk | | |
dc.identifier.bbk | | |
dc.identifier.libgenid | 4627 | |
dc.identifier.md5 | 8FB19105369807D7359FF3A5784EA61B | |
dc.identifier.sha1 | KM2AYM6HFLPH2FG3DOJDER27HME3B6EE | |
dc.identifier.tth | MOBFXMQYM3NREESNDNWIACG76BLRXPFFFFP5TVI | |