Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications, Tihany, 11-15 septembre 1962. — Colloque sur les fondements des mathématiques, les machines mathématiques et leurs applications (1962 ; Tihany, Hongrie)