Logic and information - Devlin, Keith J. (Cambridge University Press, 1995)