A Concise Introduction to Mathematical Logic (Paperback) (ISBN-13: 9781441912206)

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.

Author: Wolfgang Rautenberg
ISBN-10: 1441912207
ISBN-13: 9781441912206
Publisher: Springer
Language: English
Published: 12/17/2009
Pages: 320
Format: Paperback
Weight: 1.25lbs
Size: 9.40h x 6.60w x 0.80d