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