Multiple-conclusion logic
Shoesmith, D. J.
Smiley, T. J.
Cambridge Cambridge University Press
1978
Bibliography: p.386-389. - Includes index
Logic, Symbolic and mathematical.