Perspectives in Logic

Chapter VII: Decidability and Quantifier-Elimination

A. Baudisch, D. Seese, P. Tuschik, and M. Weese

Full-text: Open access

Chapter information

Source
J. Barwise, S. Feferman, eds., Model-Theoretic Logics (New York: Springer-Verlag, 1985), 235-268

Dates
First available in Project Euclid: 23 February 2009

Permanent link to this document
https://projecteuclid.org/euclid.pl/1235417272

Mathematical Reviews number (MathSciNet)
MR819538

Rights
Copyright © 1985, Association for Symbolic Logic

Citation

Baudisch, A.; Seese, D.; Tuschik, P.; Weese, M. Chapter VII: Decidability and Quantifier-Elimination. Model-Theoretic Logics, 235--268, Springer-Verlag, New York, 1985. https://projecteuclid.org/euclid.pl/1235417272


Export citation