TY  - BOOK
AU  - Shoesmith, D. J
TI  - Multiple-conclusion logic
SN  - 9780521093323
U1  - 551.3 SHO 
PY  - 3981///4
CY  - London
PB  - [publisher not identified]
ER  -