Foundations of mathematics, mathematical machines and their applications proceedings - Kalmar Laszlo ed; Colloquium on the Foundations of Mathematics,Mathematical Machines and their Applications( 1962 : Tihany ) (Budapest Akademiai Kiado, 1965)
Keywords: mathematical logic; Mathematical machine