TY  - BOOK
AU  - Rautenberg,Wolfgang
TI  - A concise introduction to mathematical logic
SN  - 9781441912206
U1  - 511.3 R194C3 
PY  - 2010///
CY  - New York
PB  - Springer Science + Business Mediallc
KW  - Propositional logic
KW  - First order logic
KW  - Logic programming
ER  -