TY  - BOOK
TI  - Logic II: Proof
CY  - Open University Press
N1  - includes index and biblioraphy
ER  -