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

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

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

Данные

bibliographicCitation

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

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

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

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

← цитирует · 1

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