SMS dit: Essays in the philosophy and history of logic and mathematics