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 |
Related Products
