Image from Amazon.com
Image from OpenLibrary
Image from Baker & Taylor
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.
Series: Studies in logic and the foundations of mathematics ; v. 89.Publication details: Amsterdam; New York; North-Holland; New York: North-Holland/Elsevier, 1977.Description: xviii, 307 p.: ill.; 23 cmISBN:- 0720407524
- 511.8 N812
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.8 N812 1977 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000099823 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
No cover image available No cover image available | ||
| 511.8 M818c 1999 IMPA A course in mathematical modeling/ | 511.8 M848p 2005 IMPA Progressões e matemática financeira/ | 511.8 N476 1993 IMPA Network flows and matching: first DIMACS implementation challenge/ | 511.8 N812 1977 IMPA Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976/ | 511.8 O58 1992 IMPA On-line algorithms: proceedings of a DIMACS workshop, February 11-13, 1991/ | 511.8 P473p 1986 IMPA The predator-prey model: do we live in a Volterra world?/ | 511.8 P688l 1957 IMPA Lectures on measure theory and probability/ |
Errata slip inserted.
Includes bibliographies.
There are no comments on this title.