Title: Colloquium on the Foundations of Mathematics, Mathematical Machines and their applications
First published: 1965