Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

Gültig bis 13.07.2026 | Gültig für Spielzeug (außer Tonieboxen & ausgewählte Tonies), Filme, Musik, Software, Games, Schreibwaren, Hörbücher und Hörbuch-Downloads (außer Abo & Shelfies), gebrauchte Bücher, nicht preisgebundene Bücher und Kalender | Einlösbar unter osiander.de und in der Osiander App | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Einzelne Artikel können ausgeschlossen sein | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Digitale Hörbücher nur für Android | Nicht gültig für preisgebundene Artikel (aufgrund der Buchpreisbindung sind Gutscheine nicht auf Bücher, eBooks, Presse einlösbar), tolino eReader & Zubehör, Elektronik, Geschenke & Trends, Abonnements & Flatrates, Geschenkkarten, Versandkosten und Services
  • Produktbild: Linking Game-Theoretical Approaches with Constructive Type Theory
  • Produktbild: Linking Game-Theoretical Approaches with Constructive Type Theory

Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT demonstrations and the Axiom of Choice

Aus der Reihe SpringerBriefs in Philosophy

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.07.2015

Abbildungen

XIX, 26 illus., schwarz-weiss Illustrationen

Verlag

Springer

Seitenzahl

99

Maße (L/B/H)

23,5/15,5/0,8 cm

Gewicht

201 g

Auflage

1st edition 2015

Sprache

Englisch

ISBN

978-3-319-19062-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.07.2015

Abbildungen

XIX, 26 illus., schwarz-weiss Illustrationen

Verlag

Springer

Seitenzahl

99

Maße (L/B/H)

23,5/15,5/0,8 cm

Gewicht

201 g

Auflage

1st edition 2015

Sprache

Englisch

ISBN

978-3-319-19062-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
Die Leseprobe wird geladen.
  • Produktbild: Linking Game-Theoretical Approaches with Constructive Type Theory
  • Produktbild: Linking Game-Theoretical Approaches with Constructive Type Theory
  • Chapter 1. Brief Reminder of Constructive Type Theory.- Chapter 2. Dialogues with Play-Objects.- Chapter 3. From dialogical strategies to CTT demonstrations.- Chapter 4. The dialogical take on the Axiom of Choice, and its translation into CTT.- Chapter 5. Building a winning P-strategy out of a CTT demonstration.- Chapter 6. Conclusions and Work in Progress.