Матэнциклопедия
Источник МатэнциклопедииПубликацияДокумент
Шенфилд Д ж. Р., Математическая логика
http://libmeta.ru/resource/mathenc/publication/p4468
Данные
| bibliographicCitation | Шенфилд Д ж. Р., Математическая логика, пер. с англ., М., 1975; 13] Гильберт Д., Бернайс П., Основания математики. Логические исчисления и формализация арифметики, пер. с нем., 2 изд., М., 1982 |