Model theory / C. C. Chang and H. J. Keisler.
Series Studies in logic and the foundations of mathematics ; v. 73Editor: Amsterdam : New York : North-Holland ; American Elsevier, 1973Descripción: xii, 550 p. ; 23 cmTema(s): Model theoryOtra clasificación: 03CxxItem type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Libros | Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 C456m (Browse shelf) | Checked out | 2024-05-20 | A-4094 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 C456 Continuous model theory / | 03 C4565 Symbolic logic and mechanical theorem proving / | 03 C4565 Symbolic logic and mechanical theorem proving / | 03 C456m Model theory / | 03 C561 The calculi of lambda-conversion / | 03 C561i Introduction to mathematical logic. | 03 C561i Introduction to mathematical logic. |
Bibliografía: p. 532-542.
MR, 53 #12927
There are no comments on this title.