Title
6.824 Natural Deduction Rules
Catalog Number
102719308
Type
Document
Description
Handout for MIT class 6.824.
Date
1984
Author
Shrobe, Howard E.
Publisher
Massachusetts Institute of Technology (MIT)
Extent
1 folder
Category
Technical Paper or Note
Collection Title
Herbert Stoyan collection on LISP programming
Series Title
Lisp history by year
Credit
Gift of Herbert Stoyan
