Logic and Proof Techniques / Logic and Proof Techniques

類似資料

• Proof theory of modal logic /
  出版事項: (1996)
• Understanding Symbolic Logic
  著者:: Klenk
  出版事項: (2008)
• Proofs and refutations/ the logic of mathemati-
  著者:: LAKATOS, Inre
  出版事項: (1976)
• Introduction to Mathematical Logic / Introduction to Mathematical Logic
  著者:: Church, Alonzo
  出版事項: (1996)
• Symbolic Logic/
  著者:: Lee, Harold Newton
  出版事項: (1961)