The PDP-6 Proof Checker,
Abstract
A description is given for the use of a proof checker for propositional calculus. An example of its use as well as the M and S expressions for the proof checker are also included. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 21, 1967
- Accession Number
- AD0785170
Entities
People
- Bill Weiher
Organizations
- Stanford University