Bibliography
Published online by Cambridge University Press: 17 September 2009
Summary
- Type
- Chapter
- Information
- Logic and ComputationInteractive Proof with Cambridge LCF, pp. 289 - 295Publisher: Cambridge University PressPrint publication year: 1987