Completeness theory for propositional logics
Pogorzelski, Witold, 1944-
Completeness theory for propositional logics [electronic resource] / Witold A. Pogorzelski, Piotr Wojtylak. - Basel ; Boston : Birkhäuser, c2008. - viii, 178 p. : ill. - Studies in universal logic . - Studies in universal logic. .
Includes bibliographical references (p. [165]-174) and indexes.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Completeness theorem.
Electronic books.
QA9.67 / .P64 2008eb
511.3
Completeness theory for propositional logics [electronic resource] / Witold A. Pogorzelski, Piotr Wojtylak. - Basel ; Boston : Birkhäuser, c2008. - viii, 178 p. : ill. - Studies in universal logic . - Studies in universal logic. .
Includes bibliographical references (p. [165]-174) and indexes.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Completeness theorem.
Electronic books.
QA9.67 / .P64 2008eb
511.3