Elementary predicate logic (1983)

by Wilfrid Hodges
Venue:Handbook of Philosophical Logic: Volume I: Elements of Classical Logic, pages1–131.Dordrecht:Reidel.Reprint,SpringerScience Publishers