Der ausgewählte Artikel ist nicht mehr verfügbar, aber wir haben etwas Ähnliches gefunden.

Bild 1 von 1

Standardbild

Shahid Rahman (u. a.) | Linking Game-Theoretical Approaches with Constructive... - Bild 1 von 1

Linking Game-Theoretical Approaches with Constructive Type Theory von Shahid Rahman (2015, Taschenbuch)

Schreiben Sie die ersteRezension.

faboplay-shop (3243)
99,6% positive Bewertungen

Preis:

€ 49,95

(inkl. MwSt.)

+ EUR 2,95 Versand

Lieferung ca. Sa, 11. Mai - Di, 14. Mai

Rücknahmen:

1 Monat Rückgabe. Käufer zahlt Rückversand. Für eBay Plus-Mitglieder ist der Rückversand im Inland kostenlos. Mehr erfahren.

Artikelzustand:

Neu

Alle Details ansehen

Über dieses Produkt

Produktinformation

This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. As the work's subtitle expresses, the authors will build this link by means of the dialogical approach to logic. One important aspect of the present study is that the authors restrict themselves to the logically valid fragment of Constructive Type Theory (CTT). The reason is that, once that fragment is achieved the result can be extended to cover the whole CTT system. The first chapters in the brief offer overviews on the two frameworks discussed in the book with an emphasis on the dialogical framework. The third chapter demonstrates the left-to-right direction of the equivalence result. This is followed by a chapter that demonstrates the use of the algorithm in showing how to transform a specific winning strategy into a CCT-demonstration of the axiom of choice. The fifth chapter develops the algorithm from CTT-demonstrations to dialogical strategies. This brief concludes by introducing elements of discussion which are to be developed in subsequent work.

Produktkennzeichnungen

ISBN-10
3319190628
ISBN-13
9783319190624
eBay Product ID (ePID)
211691468

Produkt Hauptmerkmale

Produktart
Lehrbuch
Sprache
Englisch
Anzahl der Seiten
124 Seiten
Verlag
Springer International Publishing
Publikationsname
Linking Game-Theoretical Approaches With Constructive Type Theory
Autor
Shahid Rahman
Format
Taschenbuch
Erscheinungsjahr
2015

Zusätzliche Produkteigenschaften

Hörbuch
No
Inhaltsbeschreibung
Paperback
Item Length
23cm
Item Height
7mm
Ausgabe
Ausgabe Nr. 1 des Jahres 15
Item Width
15cm
Mitautor
Nicolas Clerbout
Buchreihe
Springerbriefs in Philosophy
Item Weight
201g

Alle Angebote für dieses Produkt

Artikel 1 Linking Game-Theoretical Approaches with Constructive Type Theory Rahman (u. a.)
EUR 52,90
Kostenloser Versand
Artikel 2 Shahid Rahman (u. a.) | Linking Game-Theoretical Approaches with Constructive...
EUR 49,95
+EUR 2,95 Versand
Artikel 3 Linking Game-Theoretical Approaches with Constructive Type Theory | Taschenbuch
EUR 52,95
Kostenloser Versand
Artikel 4 Linking Game-Theoretical Approaches with Constructive Type Theory Dialogica 2899
EUR 53,49
+EUR 2,94 Versand

Meistverkauft in Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Meistverkauft in Studium & Erwachsenenbildung

Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)
4.5 von 5 Sternen in 2 Produktbewertungen
EUR 12,00 Neu
EUR 9,49 Gebraucht
Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)
4.3 von 5 Sternen in 4 Produktbewertungen
EUR 19,90 Neu
EUR 17,69 Gebraucht

Hier sparen: Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Hier sparen: Studium & Erwachsenenbildung

The Serpent and the Wings of Night (Crowns of Nyaxia 1) | Carissa Broadbent
EUR 18,00
Preistendenz: EUR 18,21
Einfaches Kassenbuch | Einnahmen und Ausgaben
EUR 4,99
Preistendenz: EUR 6,42
Brian W. Kernighan (u. a.) | The C Programming Language | Taschenbuch | Englisch
EUR 39,95
Preistendenz: EUR 47,48
Sachkundeprüfung im Bewachungsgewerbe | gemäß § 34a GewO | Jochmann (u. a.)
EUR 20,00
Preistendenz: EUR 26,84
Hans Henning Oerberg | Lingua latina per se illustrata: familia romana | Buch
EUR 27,29
Preistendenz: EUR 29,50

Auch interessant

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Auch interessant

Stöbern in Kategorien

Bild 1 von 1

Linking Game-Theoretical Approaches with Constructive Type Theory von Shahid Rahman (2015, Taschenbuch)

Über dieses Produkt

Produktinformation

Produktkennzeichnungen

Produkt Hauptmerkmale

Zusätzliche Produkteigenschaften

Alle Angebote für dieses Produkt

Artikel 1 Linking Game-Theoretical Approaches with Constructive Type Theory Rahman (u. a.)

Artikel 2 Shahid Rahman (u. a.) | Linking Game-Theoretical Approaches with Constructive...

Artikel 3 Linking Game-Theoretical Approaches with Constructive Type Theory | Taschenbuch

Artikel 4 Linking Game-Theoretical Approaches with Constructive Type Theory Dialogica 2899

Meistverkauft in Studium & Erwachsenenbildung

Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)

Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)

Hier sparen: Studium & Erwachsenenbildung

The Serpent and the Wings of Night (Crowns of Nyaxia 1) | Carissa Broadbent

Einfaches Kassenbuch | Einnahmen und Ausgaben

Brian W. Kernighan (u. a.) | The C Programming Language | Taschenbuch | Englisch

Sachkundeprüfung im Bewachungsgewerbe | gemäß § 34a GewO | Jochmann (u. a.)

Hans Henning Oerberg | Lingua latina per se illustrata: familia romana | Buch

Auch interessant

Lehrbücher als Taschenbuch

Retro Gamer

Sonstige Bücher im Taschenbuch-Format

Brockhaus Taschenbücher

Frauenliteratur-Taschenbücher

Humor Taschenbücher