Translator Disclaimer
1959 Quantifier elimination in a problem of logical design.
Calvin C. Elgot, Jesse B. Wright
Michigan Math. J. 6(1): 65-69 (1959). DOI: 10.1307/mmj/1028998141
First Page PDF

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

JOURNAL ARTICLE
5 PAGES


SHARE
Vol.6 • No. 1 • 1959
Back to Top