Image from Amazon.com
Image from OpenLibrary
Image from Baker & Taylor
Elementary induction on abstract structures/ Yiannis N. Moschovakis.
Series: Studies in logic and the foundations of mathematics ; v. 77.Publication details: Amsterdam; North-Holland; New York: American Elsevier, 1974.Description: x, 218 p.; 24 cmISBN:- 0444105379 :
- 511.3 M896e
| Item type | Current library | Collection | Call number | Vol info | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 M896e 1974 IMPA (Browse shelf(Opens below)) | 2 | Available | 39063000100415 | ||
|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 M896e 1974 IMPA (Browse shelf(Opens below)) | 1 | 1 | Available | 39063000100407 |
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 | ||
| 511.3 M817t 1953 IMPA Truth and consequence in mediaeval logic. | 511.3 M875l 1937 IMPA Logical positivism, pragmatism and scientific empiricism/ | 511.3 M896e 1974 IMPA Elementary induction on abstract structures/ | 511.3 M896e 1974 IMPA Elementary induction on abstract structures/ | 511.3 M916s 1952 IMPA Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Gödel. | 511.3 M984h 2019 IMPA Hilbert's tenth problem: an introduction to logic, number theory, and computability/ | 511.3 N147g 1958 IMPA Gödel's proof/ |
Includes index.
Bibliography: p. 209-212.
There are no comments on this title.