Mathematics and logic in history and in contemporary thought. (2017)