Non-classical logics, 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

AydaI Arruda, NewtonC.A.da Costa, R Chuaqui, ほか

出版社

North-Holland Pub. Co.

発売日

1977-01-01

ISBN

9780720407525