Gödel’s interpretation of intuitionism (2006)

by W Tait
Venue:Philosophia Mathematica