| 000 | 00379nam a2200145Ia 4500 | ||
|---|---|---|---|
| 999 |
_c170361 _d170361 |
||
| 020 | _a9781441912206 | ||
| 040 | _cCUS | ||
| 082 |
_a510 _bRAU/C |
||
| 100 | _aRautenberg, Wolfgang | ||
| 245 | 2 |
_aA concise introduction to mathematical logic/ _cWolfgang Rautenberg |
|
| 250 | _a3rd ed. | ||
| 260 |
_aNew York: _bSpringer, _c2010. |
||
| 300 |
_axvii, 256 p. : _bill. ; _c24 cm. |
||
| 505 | _aPropositional 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. | ||
| 650 | _aLogic, Symbolic and mathematical | ||
| 650 | _aEngineering mathematics | ||
| 650 | _aComputer science--Mathematics | ||
| 942 | _cWB16 | ||