Limitations to mathematical knowledge (1982)

by R O GANDY
Venue:in: Logic Colloquiuum-80, NorthHolland