Portada

Linking Game-Theoretical Approaches with Constructive Type Theory

Dialogical Strategies, CTT demonstrations and the Axiom of Choice

SPRINGER
07 / 2015
9783319190624
Inglés
SpringerBriefs in Philosophy
ESPAÑA
Ingles
PVP
51,99