Encyclopedia of Math Encyclopedia sourcePublicationDocument

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

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

Данные

bibliographicCitation

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

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

← references · 2

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

← cites · 2

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