Informal Rigour and Completeness Proofs (1967)

by G Kreisel
Venue:Problems in the Philosophy of Mathematics