Artifact Details

Title

A Proposal for a Proof-Checker for Certain Axiomatic Systems

Catalog Number

102720646

Type

Text

Date

1966

Author

Abrams, Philip S.; Rode, Dianna

Publisher

Stanford University

Identifying Numbers

Publication Number Stanford AI Memo Number 41

Extent

1 folder

Category

Technical Report

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Lisp history by year

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010