Матэнциклопедия
Источник МатэнциклопедииПубликацияДокумент
Непротиворечивость чистой теории чисел, в кн.: Математическая теория логического вывода
http://libmeta.ru/resource/mathenc/publication/p7583
Данные
| bibliographicCitation | Генцен Г., Непротиворечивость чистой теории чисел, в кн.: Математическая теория логического вывода, М., 1967, с. 77-153 |
автор