Andrzej Indrzejczak
(2010-2019)
X2018
in: The Lvov-Warsaw school, Dordrecht : Springer
Stanisław Jaśkowski and natural deduction systems
2018
in: The Lvov-Warsaw school, Dordrecht : Springer
(2010-2019)
X2018
in: The Lvov-Warsaw school, Dordrecht : Springer
Stanisław Jaśkowski and natural deduction systems
2018
in: The Lvov-Warsaw school, Dordrecht : Springer