Andrzej Indrzejczak
(1990-1999)
XJaśkowski and Gentzen approaches to natural deduction and related systems
1998
in: The Lvov-Warsaw school and contemporary philosophy, Dordrecht : Springer
(1990-1999)
XJaśkowski and Gentzen approaches to natural deduction and related systems
1998
in: The Lvov-Warsaw school and contemporary philosophy, Dordrecht : Springer