TY  - BOOK
AU  - Mates, Benson.
TI  - Lógica matemática elemental
U1  - 511.3 
PY  - 1974///
CY  - Madrid
PB  - Tecnos
KW  - Lógica simbólica y matemática
ER  -