Proofs and refutations/ the logic of mathemati-

類似資料

• Logic and Proof Techniques / Logic and Proof Techniques
  著者:: Eberle, Rolf A.
  出版事項: (1996)
• Computability and logic /
  著者:: Boolos, George S.
  出版事項: (1989)
• Logic : A Philosophical Introduction /
  著者:: Kaminsky, Jack
  出版事項: (1974)
• Introduction to Mathematical Logic / Introduction to Mathematical Logic
  著者:: Church, Alonzo
  出版事項: (1996)
• Principia mathematica to *56 /
  著者:: Whitehead, Alfred North
  出版事項: (1997)