Title: Deux Esquisses De Logique (Collection de Logique Mathematique Serie A, VII)