Accession Number : AD0785053

Title :   A Proof-Checker for Predicate Calculus,

Corporate Author : STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s) : McCarthy,John

Report Date : 03 MAR 1965

Pagination or Media Count : 10

Abstract : A program that checks proofs in J. A. Robinson's formulation of predicate calculus has been programmed in LISP 1.5. The program is available in CTSS at Project MAC and is also available as a card deck. The program is used for class exercises at Stanford. (Author)

Descriptors :   *Computer programming, *Mathematical logic, Theorems

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE