Mathematical significance of consistency proofs (1958)

by G Kreisel
Venue:Journal of Symbolic Logic