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