TY  - BOOK
AU  - Alcantara Luiz Paulo de Ed.
TI  - Mathematical logic and formal systems
T2  - Lecture notes in pure and applied mathematics; 94
U1  - B:(R1)jN30, M5 
PY  - 1985///
CY  - New York    
PB  -  Marcel Dekker       
KW  -  Symoblic and Mathematical-Addresses
KW  - Logic
ER  -