Mathematical logic - Ebbinghaus H. D.; Flum J.; Thomas W. (New York Springer Verlag U.S.A, 1994)
Keywords: MATHEMATICS