The 2007 proceedings from the Annual European Meeting of the Association for Symbolic Logic.Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
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 Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
