Logic and Information door Keith J. Devlin