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

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE