Log in :: RSS/Atom Feeds
Perspectives in Logic

Chapter VII: Decidability and Quantifier-Elimination

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

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

Full-text: Open access

Links and Identifiers

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

back to Table of Contents

2009 © Association for Symbolic Logic