TY  - BOOK
AU  - Pogorzelski,Witold
AU  - Wojtylak,Piotr
ED  - SpringerLink (Online service)
TI  - Completeness theory for propositional logics
T2  - Studies in universal logic
SN  - 9783764385187 (electronic bk.)
U1  - 511.3 22
PY  - 2008///
CY  - Basel
PB  - Birkhuser Verlag AG
KW  - Completeness theorem
N1  - Includes bibliographical references (p. [165]-174) and indexes
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-7643-8518-7
ER  -