Lectures in Logic and Set Theory: Volume 1, Mathematical Logic - Tourlakis, George; Bollobas, B (Cambridge CUP, 2003)
Keywords: Logic, Symbolic and mathematical; Computers; Mathematics; Set theory