TY  - BOOK
AU  - Shoesmith D J
AU  -  Smiley T J
TI  - Multiple conclusion logic
U1  - R1:(B32), L8 
PY  - 1978///
CY  - Cambridge
PB  - CUP       
KW  - PHILOSOPHY
ER  -