Metody dowodowe i zastosowania klasycznego rachunku zdań — Proving methods and applications of classical propositional calculus / Wiesław KURPIEWSKI // W: Ideał nauki i wartości w filozofii XIX–XXI wieku = The concepts of science and values in philosophy 19th–21st centuries / red. Ignacy S. Fiut. — Kraków : na zlec. WNSS AGH : Stowarzyszenie Twórcze Artystyczno-Literackie, 2004. — (Prace Zakładu Filozofii Wydziału Nauk Społecznych Stosowanych Akademii Górniczo-Hutniczej ; t. 6) ; (Idee i Myśliciele = Ideas and Thinkers). — Na s. red. rok wydania i druku: 2003. — ISBN10: 83-88527-62-2. — S. 315–352. — Abstr.