Матэнциклопедия
Источник МатэнциклопедииПубликацияДокумент
в кн.: Metamathematical investigation of intuitionistic arithmetic and analysis, B.-Hdlb.-N. Y
http://libmeta.ru/resource/mathenc/publication/p4711
Данные
| bibliographicCitation | Troelstra A. S., в кн.: Metamathematical investigation of intuitionistic arithmetic and analysis, B.-Hdlb.-N. Y., 1973 |
автор