Advanced Search
Home > eBooks > Perspect. Logic > Model-Theoretic Logics > Chapter VII: Decidability and Quantifier-Elimination
Open Access
VOL. 8 | 1985 Chapter VII: Decidability and Quantifier-Elimination
A. Baudisch, D. Seese, P. Tuschik, M. Weese

Editor(s) J. Barwise, S. Feferman

Perspect. Logic, 1985: 235-268 (1985)
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page
CHAPTER
 34 PAGES
DOWNLOAD PDF + SAVE TO MY LIBRARY
< Previous Chapter
|
Next Chapter >
Vol. 8 • 1 January 1985
Association for Symbolic Logic
Back to Top