A Course (1977)

by J BELL, M MACHOVER
Venue:in Mathematical Logic, North-Holland