2005a]. Gödel’s interpretation of intuitionism (0)

by W Tait
Venue:Philosophia Mathematica