Pogorzelski, Witold, 1895-1963
Completeness theory for propositional logics / Witold A. Pogorzelski, Piotr Wojtylak. -- Basel : Birkhäuser, c2008. -- viii, 178 s. -- (Studies in universal logic). -- ISBN : 978-3-7643-8517-0 (brož.).
Wojtylak, Piotr
Gödelovy věty. výroková logika. matematická logika. monografie
510.633. 510.6. (048.8)