Frege’s foundations and intuitionistic logic (1984)

by Georg Kreisel
Venue:The Monist