Wojciech Buszkowski
(1990-1999)
XThe Ajdukiewicz calculus, Polish notation and Hilbert-style proofs
1998
in: The Lvov-Warsaw school and contemporary philosophy, Dordrecht : Springer
Relations between sets of time points and quasi-linear orderings
1997
in: Perspectives on time, Dordrecht : Springer