Logic Colloquium 2007
Herausgeber: Delon, Francoise; Maddy, Penelope; Kohlenbach, Ulrich
Logic Colloquium 2007
Herausgeber: Delon, Francoise; Maddy, Penelope; Kohlenbach, Ulrich
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
The 2007 proceedings from the Annual European Meeting of the Association for Symbolic Logic.
Andere Kunden interessierten sich auch für
- S. W. P. SteenMathematical Logic with Special Reference to the Natural Numbers77,99 €
- Jiri RaclavskyBelief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic19,99 €
- Advances in Modal Logic Volume 1034,99 €
- Logic and Philosophy of Logic22,99 €
- Judgements and Truth. Essays in Honour of Jan Wole¿ski23,99 €
- Stephen BlahaFrom Asynchronous Logic to the Standard Model to Superflight to the Stars: Volume 2 Superluminal Cp and CPT Symmetry, U(4) Complex General Relativity47,99 €
- Richard L EpsteinReasoning and Formal Logic18,99 €
-
-
-
The 2007 proceedings from the Annual European Meeting of the Association for Symbolic Logic.
Produktdetails
- Produktdetails
- Verlag: Cambridge University Press
- Seitenzahl: 282
- Erscheinungstermin: 23. Dezember 2013
- Englisch
- Abmessung: 229mm x 152mm x 17mm
- Gewicht: 462g
- ISBN-13: 9781107696778
- ISBN-10: 1107696771
- Artikelnr.: 40550037
- Herstellerkennzeichnung
- Libri GmbH
- Europaallee 1
- 36244 Bad Hersfeld
- gpsr@libri.de
- Verlag: Cambridge University Press
- Seitenzahl: 282
- Erscheinungstermin: 23. Dezember 2013
- Englisch
- Abmessung: 229mm x 152mm x 17mm
- Gewicht: 462g
- ISBN-13: 9781107696778
- ISBN-10: 1107696771
- Artikelnr.: 40550037
- Herstellerkennzeichnung
- Libri GmbH
- Europaallee 1
- 36244 Bad Hersfeld
- gpsr@libri.de
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.
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.
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.