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

Рrawitz D.

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

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

← автор · 2

Ideas and results in proof theory, в кн.: Proc. 2 Scand. logic symposium, Amst.… Natural deduction, Stockh