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

by mself | View on Hacker News