TY  - BOOK
AU  - Open University
TI  - Logic II proof
CY  - Bletchley
ER  -