The situation in logic - Barwise, Jon (CSLI Lecture Notes, 1989)