A modern formal logic primer predicate logic and metatheory - Teller, Paul (Englewood Cliffs, N.J. Prentice-Hall, 1989)
v.2 Predicate and metatheory.
Keywords: Logic