Математическая теория логического вывода
Генцен, Г., Бет, Э., Кангер, С., Клини, С. К., Шютте, К., Гедель, К., Минц, Г. Е.
Математическая теория логического вывода, [Текст], сборник переводов, под ред.: А. В. Идельсона, Г. Е. Минца
Москва :
Наука, Главная редакция физико-математической литературы ,
1967 .-
350, [1] с. .-
