Kreisel’s unwinding of Artin’s proof-Part I. In: Odifreddi, P., Kreiseliana, 113-246, A K Peters (1996)

by C Delzell
Venue:J. London Math. Soc