The Situation in logic - Barwise, Jon, 1942- (CSLI lecture notes, 1989)