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