A Concise Introduction to Mathematical Logic
Springer
ISBN13:
9781441912206
$91.36
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
- | Publisher: Springer
- | Publication Date: Dec 17, 2009
- | Number of Pages: 320 pages
- | Binding: Paperback or Softback
- | ISBN-10: 1441912207
- | ISBN-13: 9781441912206
- Author:
- Wolfgang Rautenberg
- Publisher:
- Springer
- Publication Date:
- Dec 17, 2009
- Number of pages:
- 320 pages
- Binding:
- Paperback or Softback
- ISBN-10:
- 1441912207
- ISBN-13:
- 9781441912206