Théorie des modèles en logique mathématique / par Aubert Daigneault.
Series Séminaire de mathématiques supérieures ; 6Editor: Montréal : Presses de l'Université de Montréal, 1967Edición: 2e édDescripción: 136 p. ; 28 cmOtra clasificación: 03Cxx (06E25)| Item 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 D132 (Browse shelf) | Available | A-3186 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
| 03 C976o Outlines of a formalist philosophy of mathematics / | 03 C976t A theory of formal deducibility / | 03 C976t-2 A theory of formal deducibility / | 03 D132 Théorie des modèles en logique mathématique / | 03 D261 Lecture notes on mathematical logic / | 03 D261c Computability & unsolvability / | 03 D361 A profile of mathematical logic / |
Cab. de portada: Université de Montréal. Département de mathématiques.
"Notes du cours donné ... à la 2e session du Séminaire de mathématiques supérieures de l'Université de Montréal, tenue l'été 1963."
Bibliografía: p. [131]-133.
MR, 40 #31
Click on an image to view it in the image viewer
There are no comments on this title.