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

Ideas and results in proof theory, в кн.: Proc. 2 Scand. logic symposium, Amst.- L

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

Данные

bibliographicCitation

Рrawitz D., Ideas and results in proof theory, в кн.: Proc. 2 Scand. logic symposium, Amst.- L., 1971

автор

Рrawitz D.

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

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

Генцена формальная система

← цитирует · 1

Генцена формальная система