TY  - BOOK
AU  - Devlin, Keith
TI  - Logic and information 
PY  - 1995///
PB  - CUP
ER  -