Logic and information - Devlin Keith (Cambridge CUP, 1991)
Keywords: PHILOSOPHY