Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications (Collection de Logique Mathématique, 19, 1965)