Encyclopedia of Math
Encyclopedia sourcePublicationDocument
Основания математики. Логические исчисления и формализация арифметики
http://libmeta.ru/resource/mathenc/publication/p7781
Данные
| bibliographicCitation | Гильберт Д., Бернайс П., Основания математики. Логические исчисления и формализация арифметики, пер. с нем., [т. 1], М., 1979 |
author
Входящие связи
← references · 1
← cites · 1