Search Results - Clerbout, Nicolas
- Showing 1 – 3 results of 3
-
1Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of ChoicePublished 2015Call Number: Loading…Table of contents
Located: Loading…
Order via interlibrary loanElectronic eBook -
2Linking game-theoretical approaches with constructive type theory: dialogical strategies, CTT demonstrations and the axiom of choicePublished 2015Call Number: Loading…Order via interlibrary loan
Located: Loading…Book Loading… -
3Immanent Reasoning or Equality in Action: a Plaidoyer for the Play LevelPublished 2018Call Number: Loading…Order via interlibrary loan
Located: Loading…Electronic eBook