Basic quantifier theory - Does, Jaap van der; Eijck, Jan van 1951- (Inst. for Logic, Language and Computation, 1995)