TY  - BOOK
AU  - De Alcantara Lauiz Paulo Ed.
TI  - Mathematical logic and formal systems. A collection of papers in honor of Professor Newton (A da Costa)
U1  - R14jN29, M5 
PY  - 1985///
ER  -