A course in mathematical logic (1977)

by J Bell, M Machover