The situation in logic - Barwise, Jon (Center for the Study of Language and Information, 1989)