1. Decorated linear order types and the theory of concatenation Vedran Cacic, Pavel Pudlak, Greg Restall, Alasdair Urquhart and Albert Visser 2. Cardinal preserving elementary embeddings Andres Eduardo Caicedo 3. Proof interpretations and majorizability Fernando Ferreira 4. Proof mining in practice Philipp Gerhardy 5. Cardinal structure under AD Steve Jackson 6. Three lectures on automatic structures Bakhadyr Khoussainov and Mia Minnes 7. Pillay's conjecture and its solution - a survey Ya'acov Peterzil 8. Proof theory and meaning: on the context of deducibility Greg Restall 9. Bounded super real closed rings Marcus Tressl 10. Analytic combinatorics of the transfinite: a unifying Tauberian perspective Andreas Weiermann.
1. Decorated linear order types and the theory of concatenation Vedran Cacic, Pavel Pudlak, Greg Restall, Alasdair Urquhart and Albert Visser 2. Cardinal preserving elementary embeddings Andres Eduardo Caicedo 3. Proof interpretations and majorizability Fernando Ferreira 4. Proof mining in practice Philipp Gerhardy 5. Cardinal structure under AD Steve Jackson 6. Three lectures on automatic structures Bakhadyr Khoussainov and Mia Minnes 7. Pillay's conjecture and its solution - a survey Ya'acov Peterzil 8. Proof theory and meaning: on the context of deducibility Greg Restall 9. Bounded super real closed rings Marcus Tressl 10. Analytic combinatorics of the transfinite: a unifying Tauberian perspective Andreas Weiermann.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309