Model Theory
By: MANZANO, Maria
Contributor(s): QUEIROZ, Ruy J. G. B. de [trad.]
Material type: TextSeries: Oxford Logic Guides ; 37Publisher: Oxfrod : Clarendon Press, 1999Description: (xxiv), (240) p., ill., table, index, 24cmSubject(s): MATHÉMATIQUE -- LOGIQUE -- THÉORIES DES MODÈLESLOC classification: QA 9.7 M35 M63 1999Item type | Current library | Class number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books / Monographs |
Dominican University College Library / Collège Universitaire Dominicain
Hours of operation: Monday - Thursday 8am - 8:30 pm; Friday 8am - 4pm | Les heures d'ouverture : Lundi à jeudi de 8 h à 20 h 30; vendredi 8h - 16h
Standard shelving location / Rayonnage standard
|
QA 9.7 M35 M63 1999 (Browse shelf (Opens below)) | Available | 30000000519458 |
Browsing Dominican University College Library / Collège Universitaire Dominicain shelves, Shelving location: Standard shelving location / Rayonnage standard 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 | ||||
QA 9 .47 B76 D34 1981 Brouwer's Cambridge lectures on intuitionism / | QA 9 .54 L34 P76 1999 Proofs and refutations : the logic of mathematical discovery / | QA 9 .54 P77 1992 Proof, Logic and Formalization | QA 9.7 M35 M63 1999 Model Theory | QA 9 .8 H63 G63 1979 Gödel, Escher, Bach : An Eternal Golden Braid | QA 10 .3 B66 I58 1958 An Investigation of the Laws of Thought on which are Founded the Mathematical Theories of Logic and Probabilities | QA 10 .3 B66 M38 1951 The Mathematical Analysis of Logic : Being an Essay Towards a Calculus of Deductive Reasoning |
Bibliographie: pp. (227)-232
There are no comments on this title.