Mathematical thought; an introduction to the philosophy of mathematics/ Evert W. Beth.
Series: Synthese libraryPublication details: Dordrecht ; D. Reidel, [1965].Description: xii, 208 p.: illus., port., 23 cmSubject(s): DDC classification:- 511.3 B562m
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 B562m 1965 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000095318 |
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 | ||
| 511.3 B562f 1962 IMPA Formal methods;: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. | 511.3 B562f 1962 IMPA Formal methods;: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. | 511.3 B562f 1964 IMPA The foundations of mathematics;: a study in the philosophy of science/ | 511.3 B562m 1965 IMPA Mathematical thought; an introduction to the philosophy of mathematics/ | 511.3 B573 2017 IMPA Beyond first order model theory/ | 511.3 B581a 1982 IMPA Automated theorem proving/ | 511.3 B612s 1965 IMPA Solutions to the exercises in First course in mathematical logic/ |
Bibliography: p. 193-200.
There are no comments on this title.