Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice (SpringerBriefs in Philosophy)

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Bezeichner
MPN Nicolas Clerbout 26 black & white illustrations, biograph
ISBN Nicolas Clerbout 3319190628
Abmessungen / Gewicht
Hauptmerkmale
Nicolas Clerbout