1 A Proof System

  1.1 Propositional Axioms and Inference Rules
  1.2 Propositional proofs

2023-09-12
Contact | Home | ITL home | Course | Proofs | Algebra | FL
© 1996-2023