A Course (1977)

by J L Bell, M Machover
Venue:in Mathematical Logic, North-Holland