A course in mathematical logic (1977)

by John Bell, Moshé Machover