Нет в продаже
Математическая теория логического вывода
Г. Е. Минц А. В. Идельсон
Воспроизведено в оригинальной авторской орфографии издания 1967 года (издательство "Наука").