Kurt Gödel and the Foundations of Mathematics

समान संसाधन

• An Introduction to Gödel's Theorems
  द्वारा: Peter Smith
  प्रकाशित: (2013)
• Lambda Calculus with Types
  द्वारा: Henk Barendregt, Wil Dekkers, Richard Statman
  प्रकाशित: (2013)
• Programming with Higher-Order Logic
  द्वारा: Dale Miller, Gopalan Nadathur
  प्रकाशित: (2012)
• An Introduction to Category Theory
  द्वारा: Harold Simmons
  प्रकाशित: (2012)
• Fuzzy sets and fuzzy logic : theory and applications /
  द्वारा: Klir, George J., 1932-
  प्रकाशित: (2015)