Text this: The foundations of mathematics and other logical essays