Browsing by Subject "Jan Lukasiewicz"
Now showing items 1-1 of 1
(2006-12)In Symbolic Logic, 5th Ed., by Irving M. Copi (Copi, 1979), there is a problem asking for the proof of the independence of each axiom from a set of axioms for a propositional calculus. This problem reads: 4. The Łukasiewicz's ...