A Concise Introduction to Mathematical Logic

By Wolfgang Rautenberg

Propositional Logic.- First-Order Logic.- Complete logical Calculi.- Foundations of Logic Programming.- Elements of Model Theory.- Incompleteness and Undecidability.- On the Theory of Self-Reference.

• Format: Paperback
• Language: English
• ISBN: 1441912207
• ISBN13: 9781441912206
• Release Date: December 2009
• Publisher: Springer
• Length: 320 Pages
• Weight: 1.25 lbs.
• Dimensions: 0.8" x 6.6" x 9.4"