Матэнциклопедия Источник МатэнциклопедииПубликацияДокумент

К л и н и С. К., Введение в метаматематику

http://libmeta.ru/resource/mathenc/publication/p4200

Данные

bibliographicCitation

К л и н и С. К., Введение в метаматематику, пер. с англ., М., 1957

Входящие связи

← ссылается на · 9

Интуиционистская логика Логические исчисления Математическая индукция Математическая логика Омега-непротиворечивость Реализуемость Рекурсивная реализуемость Рекурсия Семантика

← цитирует · 9

Интуиционистская логика Логические исчисления Математическая индукция Математическая логика Омега-непротиворечивость Реализуемость Рекурсивная реализуемость Рекурсия Семантика