A course in mathematical logic - Bell, John Lane; Machover, M. (Amsterdam North-Holland Publishing Company, 1977)
Includes indexes.
Bibliography: p. 576-583.
3
Keywords: Logic, Symbolic and mathematical