Les fondements logiques des mathematiques - Beth, Evert Willem (Collection de logique mathematique ;, 1955)