A Concise Introduction to Mathematical Logic (Universitext)

By Wolfgang Rautenberg

Book Overview

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. This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0387302948
• ISBN13: 9780387302942
• Release Date: March 2006
• Publisher: Springer
• Length: 260 Pages
• Weight: 0.90 lbs.
• Dimensions: 9.0" x 0.5" x 6.0"