TY  - BOOK
AU  - Arruda Ayda I Ed.
TI  - Mathematical logic
U1  - R14, L8 
PY  - 1978///
CY  - New York  
PB  -  Marcel Dekker     
ER  -