Title: Colloquium on the Foundations of Mathematics, Mathematical Machines
Subjects: Automata, Computer programming, Congresses, Electronic calculating-machines, Logic, Symbolic and mathematical, Mathematical linguistics, Symbolic and mathematical Logic