Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications. Tihany, 11-15. Sept. 1962 (Budapest, 1965)

Next