TY  - DATA
AU  - Allwein,Gerard,1956-
TI  - Language proof and logic
AV  - BC 61 B38.2000
PY  - 2000///
CY  - Stanford, Calif.
PB  - Leland Stanford Junior Universrity
KW  - Lógica
KW  - Libros electrónicos
N1  - CD Versión 1.2
ER  -