TY - BOOK AU - Shoesmith, D. AU - Smiley, T. TI - Multiple-Conclusion Logic SN - 0521217652 PY - 1978/// CY - Cambridge PB - Cambridge University Press ER -