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

Математическая теория логического вывода. Сб. переводов

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

Данные

bibliographicCitation

Математическая теория логического вывода. Сб. переводов, М., 1967

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

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

Логические исчисления Секвенций исчисление

← цитирует · 2

Логические исчисления Секвенций исчисление