Amalgamation and Elimination of Quantifiers for Theories of Fields
Proceedings of the American Mathematical Society - United States
doi 10.2307/2042646
Full Text
Open PDFAbstract
Available in full text
Date
November 1, 1979
Authors
Publisher
JSTOR
Available in full text
November 1, 1979
JSTOR