Piotr Wojtylak

	2008
9		Matthias Baaz, Piotr Wojtylak: Generalizing proofs in monadic languages. Ann. Pure Appl. Logic 154(2): 71-138 (2008)
	2005
8		Witold A. Pogorzelski, Piotr Wojtylak: A Proof System for Classical Logic. Studia Logica 80(1): 95-104 (2005)
	2004
7		Piotr Wojtylak: On a Problem of H. Friedman and its Solution by T. Prucnal. Reports on Mathematical Logic 38: 69-86 (2004)
	2001
6		Piotr Wojtylak, Andrzej Wronski: On the Problem of R. E. Tax. Reports on Mathematical Logic 35: 87-101 (2001)
5		Witold A. Pogorzelski, Piotr Wojtylak: Cn-Definitions of Propositional Connectives. Studia Logica 67(1): 1-26 (2001)
	1997
4		Joanna Grygiel, Piotr Wojtylak: The Uniqueness of the Decomposition of Distributive Lattices into Sums of Boolean Lattices. Reports on Mathematical Logic 31: 93-102 (1997)
	1995
3		Jerzy Kotas, Piotr Wojtylak: Finite Distributive Lattices as Sums of Boolean Algebras. Reports on Mathematical Logic 29: 35-40 (1995)
	1991
2		Adam Kolany, Piotr Wojtylak: Restricted Versions of the Compactness Theorem. Reports on Mathematical Logic 25: (1991)
	1989
1		Piotr Wojtylak: Independent Axiomatizability of Sets of Sentences. Ann. Pure Appl. Logic 44(3): 259-299 (1989)

Coauthor Index

1	Matthias Baaz	[9]
2	Joanna Grygiel	[4]
3	Adam Kolany	[2]
4	Jerzy Kotas	[3]
5	Witold A. Pogorzelski	[5] [8]
6	Andrzej Wronski	[6]

Colors in the list of coauthors