Матэнциклопедия
Источник МатэнциклопедииПубликацияДокумент
Н о в и к о в П. С., Конструктивная математическая логика с точки зрения классической
http://libmeta.ru/resource/mathenc/publication/p8946
Данные
| bibliographicCitation | Н о в и к о в П. С., Конструктивная математическая логика с точки зрения классической, М., 1977 |