| dc.contributor.author | Гильберт Д., Бернайс П. | |
| dc.date.accessioned | 2016-02-21T21:36:41Z | |
| dc.date.available | 2016-02-21T21:36:41Z | |
| dc.date.issued | 1982 | |
| dc.identifier.isbn | | |
| dc.identifier.issn | | |
| dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/38693 | |
| dc.description.abstract | Аннотация Двухтомная монография Д. Гильберта и П. Бернайса занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Другие книги по данной тематике на сайте: Идельсон А.В. Математическая теория логического вывода. Математическая логика и основания математики Пойа Дж. Математика и правдоподобные рассуждения Грэхем Р., Кнут Д., Паташник О. Конкретная математика. Основание информатики Мацнев А.П. Математическая логика и теория алгоритмов | |
| dc.language.iso | Russian | |
| dc.publisher | Наука | |
| dc.subject | Математика\\Математическая логика | |
| dc.subject | Mathematics\\Logic | |
| dc.subject.ddc | | |
| dc.subject.lcc | | |
| dc.title | Основания математики, в 2-х томах. Том 2. Теория доказательств | |
| dc.type | other | |
| dc.identifier.aich | UJ3SAUUI3ZXREGLHLMBUN6TJIXVGFEBR | |
| dc.identifier.crc32 | D77E55A3 | |
| dc.identifier.doi | | |
| dc.identifier.edonkey | 84957261CAD2108EDE1343E282AB3781 | |
| dc.identifier.googlebookid | | |
| dc.identifier.openlibraryid | | |
| dc.identifier.udk | | |
| dc.identifier.bbk | | |
| dc.identifier.libgenid | 4568 | |
| dc.identifier.md5 | 32F7A867AADA8FD3859B9EA5BD9881FC | |
| dc.identifier.sha1 | HU52R3SYJBXE7KBJ4NFUILOMWIHSC3WL | |
| dc.identifier.tth | HUXMZB6WTBLEU5RSRXENKL6GKDGRF45DIKJCAGY | |
