Strong generative capacity : the semantics of linguistic formalism / Philip H. Miller. - Miller, Philip H, 1959- (CSLI lecture notes, 1999)