The incompleteness theorems/ Henk Barendregt.
Series: Communications of the Mathematical Institute ; 4..Publication details: Utrecht: Rijksuniversiteit Utrecht, 1976.Description: 59 p. ; 30 cmSubject(s): DDC classification:- 511.3 B248i
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 B248i 1976 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000095268 |
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 B168r 1973 IMPA Recursive procedures/ | 511.3 B181c 2009 IMPA Categoricity/ | 511.3 B181f 1988 IMPA Fundamentals of stability theory/ | 511.3 B248i 1976 IMPA The incompleteness theorems/ | 511.3 B261a 1975 IMPA An algebraic introduction to mathematical logic/ | 511.3 B275a 1983 IMPA Aritmetical applications of B-mathematics/ | 511.3 B277t 2006 IMPA Tópicos de Lógica Fuzzy e Biomatemática/ |
Bibliography: p. 59.
There are no comments on this title.