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

  • 발행 : 1967.10.31