Volume complémentaire et communications du colloque de logique. (North-Holland, 1953)