Image from Amazon.com
Image from OpenLibrary
Image from Baker & Taylor
Logic and structure/ Dirk van Dalen.
Series: UniversitextPublication details: Berlin ; New York: Springer-Verlag, c1983.Edition: 2nd edDescription: x, 207 p.: ill.; 25 cmISBN:- 038712831X (U.S. : pbk.)
- 511.3 D139l
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 D139l 1983 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000097207 |
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 C976o 1951 IMPA Outlines of a formalist philosophy of mathematics. | 511.3 C976t 1950 IMPA A theory of formal deducibility. | 511.3 C989c 1980 IMPA Computability, an introduction to recursive function theory/ | 511.3 D139l 1983 IMPA Logic and structure/ | 511.3 D139l 1994 IMPA Logic and structure/ | 511.3 D186t 1986 IMPA Toward an ontology of number, mind and sign/ | 511.3 D263c 1974 IMPA Computability & unsolvability/ |
Includes index.
Bibliography p. [203]
There are no comments on this title.