Stanisław Jaśkowski

life and work

2018

Andrzej Indrzejczak

in: The Lvov-Warsaw school, Berlin,

Stanisław Jaśkowski and natural deduction systems

2018

Andrzej Indrzejczak

in: The Lvov-Warsaw school, Berlin,

Jaśkowski and Gentzen approaches to natural deduction and related systems

1998

Andrzej Indrzejczak

in: The Lvov-Warsaw school and contemporary philosophy, Berlin,