dc.contributor.author | Гильберт Д., Бернайс П. | |
dc.date.accessioned | 2016-02-22T11:36:56Z | |
dc.date.available | 2016-02-22T11:36:56Z | |
dc.date.issued | 1979 | |
dc.identifier.isbn | | |
dc.identifier.issn | | |
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/53990 | |
dc.description.abstract | Аннотация Двухтомная монография Д. Гильберта и П. Бернайса занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Другие книги по данной тематике на сайте: Идельсон А.В. Математическая теория логического вывода. Математическая логика и основания математики Пойа Дж. Математика и правдоподобные рассуждения Грэхем Р., Кнут Д., Паташник О. Конкретная математика. Основание информатики Мацнев А.П. Математическая логика и теория алгоритмов | |
dc.language.iso | Russian | |
dc.publisher | Наука | |
dc.subject | Математика\\Математическая логика | |
dc.subject | Mathematics\\Logic | |
dc.subject.ddc | | |
dc.subject.lcc | | |
dc.title | Основания математики, в 2-х томах. Том 1. Логические исчисления и формализация арифметики | |
dc.type | other | |
dc.identifier.aich | U7ZAAL7LZOMOF7Q7BIEHO3PUXX2OIN6A | |
dc.identifier.crc32 | 42A1678E | |
dc.identifier.doi | | |
dc.identifier.edonkey | 9EC691B224B49BF686A0395CD2C9A2BF | |
dc.identifier.googlebookid | | |
dc.identifier.openlibraryid | | |
dc.identifier.udk | | |
dc.identifier.bbk | | |
dc.identifier.libgenid | 4567 | |
dc.identifier.md5 | 7CD687D04C900D6A062198F01697270F | |
dc.identifier.sha1 | YD43F3WP6EPQOUQLVEDVRG4QPZWDBBRW | |
dc.identifier.tth | LUKXSP7OZFJBYNAGW5P65YXCQJI5JZ63M4SBSRQ | |