Logic and Proof Techniques / Logic and Proof Techniques

Míreanna comhchosúla

• Proof theory of modal logic /
  Foilsithe / Cruthaithe: (1996)
• Understanding Symbolic Logic
  de réir: Klenk
  Foilsithe / Cruthaithe: (2008)
• Proofs and refutations/ the logic of mathemati-
  de réir: LAKATOS, Inre
  Foilsithe / Cruthaithe: (1976)
• Introduction to Mathematical Logic / Introduction to Mathematical Logic
  de réir: Church, Alonzo
  Foilsithe / Cruthaithe: (1996)
• Symbolic Logic/
  de réir: Copi, Irving M.
  Foilsithe / Cruthaithe: (1979)