Proofs and Algorithms : An Introduction to Logic and Computability /

समान संसाधन

• Lectures on Proof Verification and Approximation Algorithms /
  द्वारा: Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger
  प्रकाशित: (1998, c1998)
• Proof, Computation and Agency : Logic at the Crossroads /
  द्वारा: Johan van Benthem, Amitabha Gupta, Rohit Parikh
  प्रकाशित: (2011, c2011)
• A Proof Theory for Description Logics /
  द्वारा: Alexandre Rademaker
  प्रकाशित: (2012, c2012)
• Aristotle's Modal Proofs : Prior Analytics A8-22 in Predicate Logic /
  द्वारा: Adriane Rini
  प्रकाशित: (2011, c2011)
• Proofs and Refutations : The Logic of Mathematical Discovery /
  द्वारा: Lakatos, Imre
  प्रकाशित: (1976, c1976)