Subsystems of Second Order Arithmetic by Stephen G. Simpson (English) Hardcover
228,98 €
Recursive comprehension; 3. Weak König's lemma; 5. π11 comprehension; Part II. Models of Subsystems of Z2: 7. β-models; 8. ω-models; 9. Non-ω-models; Part III. Appendix: 10.
Jetzt bei Ebay: