Open Access
January 1980 Review: D. J. Shoesmith and T. J. Smiley, Multiple-conclusion logic
Andreas Blass
Bull. Amer. Math. Soc. (N.S.) 2(1): 242-246 (January 1980).
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Vol.2 • No. 1 • January 1980
Back to Top