Suchergebnisse - Clerbout, Nicolas

  • Treffer 1 – 3 von 3
Treffer filtern
  1. 1
    Buchumschlag

    Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice
    von Clerbout, Nicolas, Rahman, Shahid 1956-

    Veröffentlicht 2015
    Inhaltsverzeichnis
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Linking game-theoretical approaches with constructive type theory: dialogical strategies, CTT demonstrations and the axiom of choice
    von Clerbout, Nicolas, Rahman, Shahid 1956-

    Veröffentlicht 2015
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Immanent Reasoning or Equality in Action: a Plaidoyer for the Play Level
    von Rahman, Shahid 1956-, McConaughey, Zoe, Klev, Ansten, Clerbout, Nicolas

    Veröffentlicht 2018
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: