What does logic have to tell us about mathematical proofs (1979)

by S Feferman
Venue:The Mathematical Intelligencer