Elements of Logic via numbers and sets - Johnson D L (London Springer-Verlag, 1998)
Keywords: Mathematical logic; Symbolic logic