Mathematical logic and formal systems: a collection of papers in honor of Professor Newton C. A. da Costa/ edited by Luiz Paulo de Alcantara.
Language: engfre Series: Lecture notes in pure and applied mathematics ; v. 94.Publication details: New York: M. Dekker, c1985.Description: xiv, 297 p.: port.; 26 cmISBN:- 0824773306 (pbk.)
- 511.3 M426
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 M426 1985 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000098635 |
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 | No cover image available No cover image available | No cover image available No cover image available | ||||||
511.3 M426 1955 IMPA Mathematical interpretation of formal systems/ | 511.3 M426 1978 IMPA Mathematical logic: proceedings of the first Brazilian Conference/ | 511.3 M426 1978 IMPA Mathematical logic in Latin America: proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978/ | 511.3 M426 1985 IMPA Mathematical logic and formal systems: a collection of papers in honor of Professor Newton C. A. da Costa/ | 511.3 M426 1987 IMPA Mathematical logic and theoretical computer science/ | 511.3 M478a 1963 IMPA Aristotle's modal syllogisms. | 511.3 M478i 1968 IMPA An introduction to decision logic tables/ |
English and French.
Includes bibliographies and index.
There are no comments on this title.