Cours de théorie des modèles : une introduction à la logique mathématique contemporaine / Bruno Poizat.
Series Nur al-Mantiq wal-Ma'rifah ; nº 1Editor: Villeurbanne : B. Poizat, c1985Descripción: 584 p. ; 24 cmISBN: 2950091903Otra clasificación: 03Cxx (03C07 03C45 03C50 03C62)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 P758 (Browse shelf) | Available | A-5692 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 P478e-3 Recursive functions / | 03 P586 Sur la demonstration automatique / | 03 P746 Elements of the theory of completeness in propositional logic / | 03 P758 Cours de théorie des modèles : | 03 P768 Polish logic : | 03 P792 Logique mathématique : | 03 P843 La logique mathématique et le calcul mécanique / |
Incluye referencias bibliográficas (p. 549-564) e índices.
There are no comments on this title.