Elements of mathematical logic: Model theory/ G. Kreisel and J. L. Krivine.
Language: engund Series: Studies in logic and the foundations of mathematicsPublication details: Amsterdam: North-Holland, 1967.Description: xi, 222 p.: 22 1/2 cmUniform titles:- Kreisel, Georg. English
- 511.3 K92e
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 K92e 1967 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000100274 |
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 |
|
||
| 511.3 K89f 2011 IMPA Forcing with random variables and proof complexity/ | 511.3 K89p 2019 IMPA Proof complexity/ | 511.3 K92e 1964 IMPA Languages with expressions of infinite length. | 511.3 K92e 1967 IMPA Elements of mathematical logic: Model theory/ | 511.3 K96o 1967 IMPA Ontology and the logistic analysis of language: an enquiry into the contemporary views on universals/ | 511.3 L192p 1967 IMPA Problems in the philosophy of mathematics, London, 1965.. v. 1. | 511.3 L192p 1976 IMPA Proofs and refutations: the logic of mathematical discovery/ |
Translation of Éléments de logique mathématique, théorie des modèles.
There are no comments on this title.