Logic, induction and sets/ Thomas Forster.
Series: London Mathematical Society student texts ; 56Publication details: Cambridge, UK; New York: Cambridge University Press, 2003.Description: x, 234 p.: ill.; 24 cmISBN:- 0521826217
- 0521533619 (pb.)
- 511.3 F734l
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 F734l 2003 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000616337 |
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 | No cover image available No cover image available | ||||
511.3 F723 1965 IMPA Formal systems and recursive functions; proceedings/ | 511.3 F724 1981 IMPA Formal methods in the study of language/ | 511.3 F724 1981 IMPA Formal methods in the study of language/ | 511.3 F734l 2003 IMPA Logic, induction and sets/ | 511.3 F771 1984 IMPA Foundations - logic, language, and mathematics/ | 511.3 F812c 1967 IMPA Cours de logique mathématique;: Vol. 1: Relation, formule logique, compacité, complétude/ | 511.3 F812c 1972 IMPA Cours de logique mathématique, Tome 2: Théorie des modèles/ |
Includes bibliographical references (p. 231-232) and index.
There are no comments on this title.