TY  - BOOK
AU  - Shoesmith, D. J.
AU  - Smiley, Timothy John
TI  - Multiple-conclusion logic
U1  - 511.3 
PY  - 1978///, repr. 1980
CY  - Cambridge
PB  - Cambridge University Press
KW  - Many
KW  - Valued logic
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references (p. 386-389)
ER  -