Матэнциклопедия Персона

Генцен Г.

http://libmeta.ru/resource/mathenc/author/a985

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

← автор · 3

Непротиворечивость чистой теории чисел, в кн.: Математическая теория логическог… в кн.: Математическая теория логического вывода, Сб. переводов в кн.; Математическая теория логического вывода