Logic and Information by Keith J Devlin