Limitations to mathematical knowledge (1982)

by R O Gandy
Venue:Logic Colloquium ’82, North