LES FONDEMENTS LOGOIQUES DES MATHEMATIQUES - Beth, Evert Willem (Paris Gautheir-Villars, 1955)
Keywords: Mathematics -- Philosophy; Logic -- Symbolic and Mathematical