dc.contributor.author | Шенфилд Дж. (J.Shoenfield) | |
dc.date.accessioned | 2016-02-22T16:07:36Z | |
dc.date.available | 2016-02-22T16:07:36Z | |
dc.date.issued | 1975 | |
dc.identifier.isbn | | |
dc.identifier.issn | | |
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/59341 | |
dc.description.abstract | Книга известного американского логика Дж.Шенфилда посвящена основам современной математической логиги и теории алгоритмов. В книге систематически изучаются такие важные разделы, как теории первого порядка, теория моделей, вычислимость, иерархии, формальная арифметика, аксиоматическая теория множеств. Имеются два приложения: одно алгебраическое - проблема тождества слов в группах, другое - изложение результатов, связанных с исследованиями континуум-гипотезы в аксиоматической теории множеств. Является одним из основных источников для изучения оснований математики. | |
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 | JYDSJUAQPVMQ2ANQ4TOF2K6SPJU3UURN | |
dc.identifier.crc32 | BEEFF763 | |
dc.identifier.doi | | |
dc.identifier.edonkey | 3C092BDC30C663FD25C59F071C3602E6 | |
dc.identifier.googlebookid | | |
dc.identifier.openlibraryid | | |
dc.identifier.udk | | |
dc.identifier.bbk | | |
dc.identifier.libgenid | 4689 | |
dc.identifier.md5 | 94D926090DF726E373AA2D142A55222D | |
dc.identifier.sha1 | 77SGES2P2TJWVASRW57VIN24PXIEEV4H | |
dc.identifier.tth | PO2UIUDWMQMPPCUUSM7ZRHBPGZ3ZSJPDA6DQQPA | |