Image from Amazon.com
Image from OpenLibrary
Image from Baker & Taylor
Hilbert's tenth problem: an introduction to logic, number theory, and computability/ M. Ram Murty, Brandon Fodden.
Series: Student mathematical library ; v. 88.Publisher: Providence, Rhode Island: American Mathematical Society, [2019]Description: xiii, 237 pages: illustrations; 22 cmISBN:- 9781470443993
- 1470443996
- Introduction to logic, number theory, and computability
- 511.3 M984h
| Item type | Current library | Collection | Call number | Copy number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 M984h 2019 IMPA (Browse shelf(Opens below)) | 1 | Available | Lógica matemática | 39063000694391 |
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 |
|
|
||
| 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/ | 511.3 N171i 1981 IMPA In the labyrinths of language: a mathematician's journey/ | 511.3 N424p 1986 IMPA Predicative arithmetic/ |
Includes bibliographical references and index.
There are no comments on this title.