Title: The axiomatic method
Subjects: Set theory, Symbolic and mathematical Logic, Abstract Algebra