TY  - BOOK
AU  - Church, Alonzo
TI  - Introduction to mathematical logic
SN  - 0691029067
AV  - BC 135 C4.1996
PY  - 1996///
CY  - Princeton, N.J.
PB  - Princeton University
KW  - Lógica simbólica y matemática
N1  - Incluye índice
ER  -