Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice (SpringerBriefs in Philosophy) (English Edition).
Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice (SpringerBriefs in Philosophy) (English Edition)
by Nicolas Clerbout
Détails
Category:
Binding:
Author: authorname
Number of Pages:
Amazon Page : detailurl
Amazon.com Price :
Lowest Price : $
Total Offers :
Rating: 5.0
Total Reviews: totalreviews
Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice (SpringerBriefs in Philosophy) (English Edition) Télécharger Livres Gratuits
Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice (SpringerBriefs in Philosophy) (English Edition) Nicolas Clerbout Télécharger Livres Gratuits
