Elements of the theory of completeness in propositional logic / Witold A. Pogorzelski, Piotr Wojtylak.
Idioma: Inglés Idioma del resumen: Polaco Editor: Katowice [Polonia] : Silesian University, 1982Descripción: 143 p. ; 24 cmISBN: 8300003517Otra clasificación: 03-01 (03B05)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 P746 (Browse shelf) | Available | A-5596 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 P478 Rekursive Funktionen / | 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 : |
Resumen en polaco.
MR, 84g:03001
Bibliografía: p. 138-[140].
Incluye hoja con errata.
There are no comments on this title.