Электронный каталог

Книга
УДК 517 К493

Клини, С. К.
Основания интуиционистской математики с точки зрения теории рекурсивных фунуций : пер. с англ. / С. К. Клини, Р. Весли . – М. : Наука, 1978 . – 271 с. – (Математическая логика и основания математики) .

517 К493

Тезаурус = ГАСНТИ 27.03
Тезаурус = Математика : основания математики и математическая логика

741059 Кх
742062 Кх
742064 Кх