The language of first-order logic (1993)

by J Barwise, J Etchemendy
Venue:CSLI Lecture Notes; 3rd ed