Repository | Directory | Profile
References
Andrzej Indrzejczak
2018
in: The Lvov-Warsaw school, Dordrecht : Springer
Stanisław Jaśkowski and natural deduction systems
2018
in: The Lvov-Warsaw school, Dordrecht : Springer
Jaśkowski and Gentzen approaches to natural deduction and related systems
1998
in: The Lvov-Warsaw school and contemporary philosophy, Dordrecht : Springer