この商品を友人に教える:
Systems of Formal Logic L.H. Hackstaff 1966 edition
Systems of Formal Logic
L.H. Hackstaff
This system serves as a basis upon which a variety of further sys tems are constructed, including, among others, a full classical proposi tional calculus, an intuitionistic system, a minimum propositional calcu lus, a system equivalent to that of F.
372 pages