Neuware
Linking Game-Theoretical Approaches with Constructive Type Theory - Dialogical Strategies, CTT dem…
von Shahid Rahman, Nicolas Clerbout
2015 Kartoniert, 124 Seiten, 235mm x 155mm x 8mm, Sprache(n): eng Links two of the most dominant research streams in philosophy of logic - game theory and proof theoryBuilds a link between the two main theories using the dialogical approach to logicFocuses on the logically valid fragment of Cons…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9783319190624
Link zur Suche kopieren
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!