Fundamentals of mathematics an introduction to proofs, logic, sets, and numbers - Schroder Bernd S W (New Jersey John Wiley, 2010)
Keywords: Mathematical logic; Set theory; Symbolic logic