Devlin, Keith Logic and information - Cambridge Cambridge University Press 1991 - xiii,308p. ISBN: 0-521-41031-4 Subjects--Index Terms: Logic- mathematical Information Universal Decimal Class. No.: 510.6 / DEV