Матэнциклопедия
Источник МатэнциклопедииПубликацияДокумент
С, Конструктивная математическая логика с точки зрения классической
http://libmeta.ru/resource/mathenc/publication/p4712
Данные
| bibliographicCitation | Hовиков П. С, Конструктивная математическая логика с точки зрения классической, М., 1977; t4] Kreisel G., Mathematical logic, в кн.: Lectures on modern mathematics, v. 3, N. Y., 1965, p. 95-195 |
автор