A concise introduction to mathematical logic/
Wolfgang Rautenberg
- 3rd ed.
- New York: Springer, 2010.
- xvii, 256 p. : ill. ; 24 cm.
Propositional logic -- Predicate logic -- Godel's completeness theorem -- The foundation of logic programming-- Elements of model theory. -- Incompleteness and undecidability -- On the theory of self-reference-- Hints to the exercises.
9781441912206
Logic, Symbolic and mathematical Engineering mathematics Computer science--Mathematics