Pogorzelski, Witold, 1944-

Completeness theory for propositional logics [electronic resource] / Witold A. Pogorzelski, Piotr Wojtylak. - Basel ; Boston : Birkhauser, c2008. - viii, 178 p. : ill. - Studies in universal logic . - Studies in universal logic. .

Includes bibliographical references (p. [165]-174) and indexes.


Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.

9783764385187 (electronic bk.)




Completeness theorem.


Electronic books.

QA9.67 / .P64 2008

511.3