Order:
See also
Ulrik Buchholtz
Nottingham University
  1.  25
    Theories of Proof-Theoretic Strength Ψ.Thomas Strahm, Gerhard Jäger & Ulrik Buchholtz - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 115-140.
    Direct download  
     
    Export citation  
     
    Bookmark