Handbook of logic and language - Benthem, Johan F. A. K. van Mathematiker, Informatiker, Niederlande 1949- (Elsevier, 1997)