Konferenz | Vortragende | Profile
David DeVidi
Naturalizing natural deduction
2016
in: Modern logic 1850-1950, East and West, Basel : Birkhäuser
Konferenz | Vortragende | Profile
Naturalizing natural deduction
2016
in: Modern logic 1850-1950, East and West, Basel : Birkhäuser