Part of the Mathematics Commons
Alfred Tarski and Undecidable Theories, George F. McNulty Faculty Publications
PDF
Fragments of 1st-Order Logic, I: Universal Horn Logic, George F. McNulty Faculty Publications
Undecidable Properties of Finite Sets of Equations, George F. McNulty Faculty Publications
Advanced Search
