TY  - DATA
AU  - Srivastava,S.M.
ED  - SpringerLink (Online service)
TI  - A Course on Mathematical Logic
T2  - Universitext
SN  - 9780387762777
AV  - QA9 S75 2008
PY  - 2008///
CY  - New York, NY
PB  - Springer-Verlag New York
KW  - Lógica matemática
UR  - http://dx.doi.org/10.1007/978-0-387-76277-7
ER  -