Les fondements logiques des mathematiques - Beth, E. W. (Collection de logique mathematique ;, 1955)