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