On the Consistency and Independence of a System of Axioms of the Propositional Calculus

  • Published : 1967.10.31