Mathematical logic - Ebbinghaus, H.D.; Axler, S.; Flum, J. (New York Springer, 1994)
Keywords: LOGIC, SYMBOLIC AND MATHEMATICAL