TY  - BOOK
AU  - Stolyar,Abram Aronovich
AU  - Mendelson,Elliot
TI  - Introduction to elementary mathematical logic 
T2  - Dover books on mathematics
SN  - 0486645614
AV  - BC135 S76 1983
PY  - 1983///
CY  - New York : 
PB  - Dover Publications, 
KW  - Lemb
KW  - Lógica simbólica y matemática
N1  - Incluye apèndice, bibliografìa e ìndice
ER  -