Research Catalog
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.
- Title
- 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.
- Author
- Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas)
- Publication
- Amsterdam ; New York : North-Holland Pub. Co. ; New York : distributors for the U. S.A. and Canada, Elsevier/North-Holland, 1977.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | JSD 78-304 | Offsite |
Details
- Additional Authors
- Description
- xviii, 307p. illus.; 23cm.
- Series Statement
- Studies in logic and the foundations of mathematics, 89
- Subject
- Call Number
- JSD 78-304
- ISBN
- 0720407524
- LCCN
- 77007366
- OCLC
- 2964743
- NYPG784257125-B
- Conference
- Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas)
- Title
- 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.
- Imprint
- Amsterdam ; New York : North-Holland Pub. Co. ; New York : distributors for the U. S.A. and Canada, Elsevier/North-Holland, 1977.
- Series
- Studies in logic and the foundations of mathematics, 89
- Added Author
- Arruda, Ayda I.Costa, Newton C. A. da.Chuaqui, R.
- Research Call Number
- JSD 78-304