Stav dette: Essays in the philosophy and history of logic and mathematics