Mathematical logic - Shoenfield, Joseph R. (New York: Taylor & Francis Group, 2010)
Keywords: Axiom systems; Logical axioms; Math; Mathematical logic