Witold A. Pogorzelski

2005
3	EE	Witold A. Pogorzelski, Piotr Wojtylak: A Proof System for Classical Logic. Studia Logica 80(1): 95-104 (2005)
2001
2		Witold A. Pogorzelski, Piotr Wojtylak: Cn-Definitions of Propositional Connectives. Studia Logica 67(1): 1-26 (2001)
1968
1		Witold A. Pogorzelski: On the Scope of the Classical Deduction Theorem. J. Symb. Log. 33(1): 77-81 (1968)

Coauthor Index

1

Piotr Wojtylak

[2] [3]