"LISP: Programming and Proving" by John McCarthy and Carolyn Talcott (1980)

This important unpublished work was not available anywhere online, so I scanned my copy.

These are the course notes for CS 206: Computing with Symbolic Expressions taught by John McCarthy at Stanford University in the 70s, 80s, and 90s.

I printed this copy in 1984 while working as an intern for Nils Nilsson at SRI's AI Center.