Author: Colloque International de Logique Mathématique (1955 Institut Henri-Poincaré)