Artifact Details

Title

The PDP-6 Proof Checker

Catalog Number

102720683

Type

Document

Date

1967

Author

Weiher, William

Publisher

Stanford University

Identifying Numbers

Publication Number Memo Number 53

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