TY  - BOOK
TI  - Logic 2: Proof unit 17 
PY  - 1971///
PB  - Open University Press
ER  -