Quantification and partiality - Eijck, Jan van 1951- (1991)