A course in mathematical logic/ by J. L. Bell and M. Machover.
Publication details: Amsterdam ; North-Holland, New York: Sole distributors for the U.S.A. and Canada, Elsevier Science, 1977.Description: xviii, 599 p. ; 23 cmISBN:- 0720428440
- 511.3 B433c
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 B433c 1977 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000096829 |
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 | ||||||
511.3 B322i 1968 IMPA Introduction to symbolic logic/ | 511.3 B344c 1932 IMPA Critique des notions d'éther, d'espace et de temps. Cinématique de la relativité, | 511.3 B415f 1985 IMPA Foundations of constructive mathematics: metamathematical studies/ | 511.3 B433c 1977 IMPA A course in mathematical logic/ | 511.3 B433m 1971 IMPA Models and ultraproducts/ | 511.3 B451n 1996 IMPA La notion de nombre chez Dedekind, Cantor, Frege: théories, conceptions et philosophie/ | 511.3 B524a 1958 IMPA Axiomatic set theory/ |
Includes indexes.
Bibliography: p. [576]-583.
There are no comments on this title.