Les Fondements logiques des mathématiques - Beth, Evert Willem 1908-1964 (Gauthier-Villars [u.a.], 1950)