Artifact Details

Title

6.824 Natural Deduction Rules

Catalog Number

102719308

Type

Text

Date

1984

Author

Shrobe, Howard E.

Publisher

Massachusetts Institute of Technology (MIT)

Extent

1 folder

Description

Handout for MIT class 6.824.

Category

Technical Paper or Note

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Lisp history by year

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010