Informal Rigour and Completeness Proofs

• 1 January 1967
• book chapter
• Published by Elsevier
• p. 138-186
• https://doi.org/10.1016/s0049-237x(08)71525-8

Abstract