Herbert Korté

Naturalizing natural deduction

2016

with DeVidi David

in: Modern logic 1850-1950, East and West, Basel : Birkhäuser

Open Access Link
A new semantics for the epistemology of geometry I: modeling spacetime structure

1995

in: Reflections on spacetime, Dordrecht : Springer

Open Access Link