Informal rigour and completeness proofs (0)

by G Kreisel
Venue:International Colloquium of Philosophy of Science