Completeness theory for propositional logics - Pogorzelski, Witold; Wojtylak, Piotr; SpringerLink (Online service) (Basel : Birkhuser Verlag AG, 2008)
Includes bibliographical references (p. [165]-174) and indexes.
Keywords: Completeness theorem