Матэнциклопедия
Источник МатэнциклопедииПубликацияДокумент
Математический интуиционизм. Введение в теорию доказательств
http://libmeta.ru/resource/mathenc/publication/p9886
Данные
| bibliographicCitation | Драгалин А. Г., Математический интуиционизм. Введение в теорию доказательств, М., 1979 |
автор
Входящие связи
← ссылается на · 2
← цитирует · 2