Natural deduction the logical basis of axiom systems

Chi tiết về thư mục
Tác giả chính: Anderson, John Mueller
Tác giả khác: Johnstone, Henry W., joint auth
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: Belmont, Calif. Wadsworth Pub. [c1962].
Những chủ đề: