Outlines of a formalist philosophy of mathematics.
Series: Studies in logic and the foundations of mathematicsPublication details: Amsterdam: North-Holland, 1951.Description: vii, 75 p.; 22 cmSubject(s): DDC classification:- 511.3 C976o
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 C976o 1951 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000099955 | |
|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 C976o 1951 IMPA (Browse shelf(Opens below)) | 2 | Available | 39063000099898 |
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 | 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 C976c 1972 IMPA Combinatory logic/ | 511.3 C976f 1963 IMPA Foundations of mathematical logic/ | 511.3 C976l 1952 IMPA Leçons de logique algébrique/ | 511.3 C976o 1951 IMPA Outlines of a formalist philosophy of mathematics. | 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/ |
"Represents the publication of [a] manuscript prepared in 1939."
There are no comments on this title.