10 - Sample Proofs
Published online by Cambridge University Press: 17 September 2009
Summary
- Type
- Chapter
- Information
- Logic and ComputationInteractive Proof with Cambridge LCF, pp. 265 - 288Publisher: Cambridge University PressPrint publication year: 1987