Les Fondements logiques des mathématiques - Beth, E. W. (Collection de logique mathématique. Série A, 1955)