A general algebraic semantics for deductive systems / by Josep M. Font and Ramon Jansana.
Editor: Barcelona : Department of Logic, History and Philosophy of Science, Feb. 14, 1993Edición: Preliminary versionDescripción: iii, 98 p. ; 30 cmOtra clasificación: 03B22 (03Gxx)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 F677 (Browse shelf) | Available | A-6603 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 F295 The number systems : | 03 F544 Symbolic logic : | 03 F547 Intuitionistic logic, model theory and forcing / | 03 F677 A general algebraic semantics for deductive systems / | 03 F799 Abstract set theory / | 03 F799f Foundations of set theory / | 03 F812 L'algèbre logique et ses rapports avec la théorie des relations / |
Incluye referencias bibliográficas (p. 89-94) e índice.
There are no comments on this title.