Encyclopedia of Math Encyclopedia sourcePublicationDocument

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

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

Данные

bibliographicCitation

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

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

← references · 1

Естественный логический вывод

← cites · 1

Естественный логический вывод