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

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