TY  - BOOK
AU  - Rautenberg, Wolfgang
TI  - A concise introduction to mathematical logic
SN  - 9781441912206
U1  - 510 
PY  - 2010///
CY  - New York
PB  - Springer
KW  - Logic, Symbolic and mathematical
KW  - Engineering mathematics
KW  - Computer science--Mathematics
N1  - 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
ER  -