TY  - BOOK
AU  - Shoesmith,D.J.
AU  - Smiley,T.J.
TI  - Multiple-conclusion logic
SN  - 0521217652
U1  - 511.312 23
PY  - 1980///.
CY  - Cambridge: 
PB  - Cambridge University Press, 
KW  - Many-valued logic
N1  - Includes bibliography: p. [386]-389 and index
ER  -