Title: Mathematician's Toolbox
Subjects: Logic, symbolic and mathematical, Set theory, Number theory