A COURSE IN MATHEMATICAL LOGIC - Bell, John Lane; Machover, M. (Amsterdam North-Holland, 1977)
Bibliography : P. 576-583
Keywords: Logic, Symbolic And Mathematical