Les fondements logiques des mathematiques - Beth, Evert Willem (Gauthier-Villars, Paris, 1955)