Proofs and refutations/ the logic of mathemati-

Lignende værker

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