Title: Summaries of talks presented at the Summer Institute for Symbolic Logic
Subjects: Metamathematics, Machine theory, Symbolic and mathematical Logic