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