I - Preliminaries
Published online by Cambridge University Press: 17 September 2009
Summary

- Type
- Chapter
- Information
- Logic and ComputationInteractive Proof with Cambridge LCF, pp. 1 - 2Publisher: Cambridge University PressPrint publication year: 1987