Completeness theory for propositional logics
Pogorzelski, Witold.
Completeness theory for propositional logics [electronic resource] / Witold A. Pogorzelski, Piotr Wojtylak. - Basel : Birkhuser Verlag AG, 2008. - viii 178 p. : ill., digital ; 24 cm. - Studies in universal logic .
Includes bibliographical references (p. [165]-174) and indexes.
9783764385187 (electronic bk.) 9783764385170 (paper)
Completeness theorem.
511.3
Completeness theory for propositional logics [electronic resource] / Witold A. Pogorzelski, Piotr Wojtylak. - Basel : Birkhuser Verlag AG, 2008. - viii 178 p. : ill., digital ; 24 cm. - Studies in universal logic .
Includes bibliographical references (p. [165]-174) and indexes.
9783764385187 (electronic bk.) 9783764385170 (paper)
Completeness theorem.
511.3
