A course in Mathematical Logic (1977)

by J L Bell, M Machover