Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT Demonstrations and the Axiom of Choice
$54.99
Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level
$60.03
La Semantique Dialogique. Notions Fondamentales Et Elements de Metatheorie
Out of Stock