Portada

Linking Game-Theoretical Approaches with Constructive Type Theory

Dialogical Strategies, CTT demonstrations and the Axiom of Choice

SPRINGER
07 / 2015
9783319190624
Anglès
SpringerBriefs in Philosophy
ESPANYA
Ingles
PVP
51,99