Logic and Information by Keith J. Devlin