Mathematics and logic in history and in contemporary thought. - Carruccio, Ettore (Aldine Publishing, 1964)