The classical decision problem /
Saved in:
| Author / Creator: | Boerger, Egon, 1946- |
|---|---|
| Imprint: | New York : Springer, 1997. |
| Description: | xii, 492 p. ; 24 cm. |
| Language: | English |
| Series: | Perspectives in mathematical logic. |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/2616340 |
Table of Contents:
- 1. Introduction: The Classical Decision Problem
- 2. Reductions
- 3. Undecidable Standard Classes for Pure Predicate Logic
- 4. Undecidable Standard Classes with Functions or Equality
- 5. Other Undecidable Cases
- 6. Standard Classes with the Finite Model Property
- 7. Monadic Theories and Decidable Standard Classes with Infinity Axioms
- 8. Other Decidable Cases
- Appendix. Tiling Problems.