Herbert Korté
Naturalizing natural deduction
2016
in: Modern logic 1850-1950, East and West, Basel : Birkhäuser
A new semantics for the epistemology of geometry I
1995
in: Reflections on spacetime, Dordrecht : Springer
A new semantics for the epistemology of geometry II
1995
in: Reflections on spacetime, Dordrecht : Springer