4 books
My Life
A Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design (Classic Reprint)
Musee de Peinture Et de Sculpture (4)
A Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design