Deutsche Gesellschaftfür phänomenologische Forschung
Repository | Serials | | Bände
A proof-theoretic view of necessity
Reinhard Kahle
Introduction
Reinhard Kahle Peter Schroeder-Heister
Mathematical proof theory in the light of ordinal analysis
Reflections on Frege and Hilbert
Bernd BuldtVolker Halbach Reinhard Kahle
Band
Title
Autor