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