Non-classical logic, model theory and computability : proceedings of the third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A.I. Arruda, N.C.A. da Costa, R. Chuaqui
Pubbl/distr/stampa
Amsterdam [etc.] : North-Holland, 1977
ISBN
0-7204-0752-4
Descrizione fisica
xviii, 307 p. ; 23 cm
Collana
Studies in logic and the foundations of mathematics ; 89