Logic and information - Devlin, Keith (CUP, 1995)