All decks Close
All decks 4
  • Projector test

  • Model Theory and Proof Theory

  • Languages

  • Rules of Inference