Logic and information. - Devlin Keith (1991)