Beyond first order model theory/ edited by Jose Iovino.
Series: Monographs and research notes in mathematicsPublisher: Boca Raton, FL: CRC Press, [2017]Description: xv, 427 pages; 24 cmISBN:- 9781498753975
- 1498753973
- 511.3 B573
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 B573 2017 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000692080 |
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 | ||||
511.3 B562f 1962 IMPA Formal methods;: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. | 511.3 B562f 1964 IMPA The foundations of mathematics;: a study in the philosophy of science/ | 511.3 B562m 1965 IMPA Mathematical thought; an introduction to the philosophy of mathematics/ | 511.3 B573 2017 IMPA Beyond first order model theory/ | 511.3 B581a 1982 IMPA Automated theorem proving/ | 511.3 B612s 1965 IMPA Solutions to the exercises in First course in mathematical logic/ | 511.3 B664a 1951 IMPA Ancient formal logic. |
"A Chapman & Hall book."
Includes bibliographical references.
There are no comments on this title.