2. A Proof-checker for Predicate Calculus. AIM-027

3. A Television Camera Interface for the PDP-1. AIM-034

6. Plans for the Stanford Artificial Intelligence Project. AIM-031

7. Problems in the Theory of Computation. AIM-028

8. PROPOSAL FOR EXPANSION OF THE STANFORD ARTIFICIAL INTELLIGENCE PROJECT

9. Simple Simon. AIM-035

10. Stanford Time-Sharing Project Memo : A Brief Description of The SDC Time-Sharing System. Memo 33

11. Stanford Time-Sharing Project Memo : An Outline of the Mac Time-Sharing System. Memo 27

12. Stanford Time-Sharing Project Memo : Commands for Bifrost Under Odin. Memo 29

13. Stanford Time-Sharing Project Memo : Leo III Time Sharing. Memo 31