Capa

Linking Game-Theoretical Approaches with Constructive Type Theory

Dialogical Strategies, CTT demonstrations and the Axiom of Choice

SPRINGER
07 / 2015
9783319190624
978-33-1919-062-4
Inglês
SpringerBriefs in Philosophy
ESPANHA
Ingles