MATH 520	INTERMEDIATE LOGIC	Line no: 43274
Instructor: Gábor Hetyei

Important information:

• Course syllabus
• Homework
• Handouts:
  • Theorems you may cite in formal proofs (PostScript file)
  • Fitch-style rules (PostScript file)
  • Logical equivalences allowing to reach some normal form (PostScript file)
  • Axioms for set theory and arithmetic (PostScript file)

Just for fun:

• On the importance of using parentheses