MODEL THEORY - Chang,C C; Keister,H J (North-Holland, Amsterdam, 1990)
Keywords: Model Theory