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)