Informal rigour and completeness proofs (1967)

by G Kreisel
Venue:Problems in the Philosophy of Mathematics