Accession Number:
AD0785170
Title:
The PDP-6 Proof Checker,
Descriptive Note:
Corporate Author:
STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE
Personal Author(s):
Report Date:
1967-06-21
Pagination or Media Count:
52.0
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
Descriptors:
Subject Categories:
- Computer Programming and Software