Gödel’s correspondence on proof theory and constructive mathematics (0)

by William W Tait
Venue:Philosophia Mathematica (III