A concise introduction to mathematical logic/
Rautenberg, Wolfgang
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
510 / RAU/C
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
510 / RAU/C