Artifact Details

Title

A Proposal for a Proof-Checker for Certain Axiomatic Systems

Catalog Number

102720646

Type

Document

Date

1966

Abrams, Philip S.; Rode, Dianna

Stanford University

Identifying Numbers

Publication Number Stanford AI Memo Number 41

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