Mathematics and logic in history and in contemporary thought - Carruccio, Ettore (Faber And Faber, 1964)