Devlin, Keith Logic and information - Cambridge: Cambridge University Press, 1991 - xii, 307p. ISBN: 0-521-41031-4 Subjects--Topical Terms: Logic Subjects--Index Terms: Situation theory Universal Decimal Class. No.: D 510+007 / N1