Accession Number : AD0785170

Title :   The PDP-6 Proof Checker,

Corporate Author : STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s) : Weiher,Bill

Report Date : 21 JUN 1967

Pagination or Media Count : 52

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 :   *Computer programming, Syntax, Mathematical logic

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE