Mathematical logic : a course with exercices : part II: recursion theory, Gödel's theorems, set theory, model theory / René Cori, Daniel Lascar ; trad. Donald H. Pelletier
Publication: Oxford : University Press, 2001Description: XX, 331 p. ; 24 cm.ISBN: 0-19-850050-5.Subject - Topical Name: Análise matemática | Cálculo | Teorema de Gödel | Teoria dos númerosItem type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Livro | Biblioteca do ISEL | COR. 517 (Browse shelf) | Available | 1017172 |
Total holds: 0
There are no comments for this item.