On the elimination of Malitz quantifiers over Archimedian real closed fields

Peter Koepke. On the elimination of Malitz quantifiers over Archimedian real closed fields. Arch. Math. Log., 28(3):167-171, 1989. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.