511.3 М34 Математическая теория логического вывода - 0 .- Москва.: Наука, 1967 .- 350, - 0 Source: Худалдаж авсан Тавиурын заалт: 511.3 / М34