Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications. Tihany, 11-15. Sept. 1962 (Budapest, 1965)
Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications TIHANY, 11-16 SEPTEMBER 1962 AKADÉMIAI KIADÓ, BUDAPEST