Encyclopedia of Math Encyclopedia sourcePublicationDocument

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

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

Данные

bibliographicCitation

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

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

← references · 9

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

← cites · 9

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