Title: Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications, Tihany, 11-15 sept. 1962. --