nicolas clerbout

Grid   List

  1. Linking Game-Theoretical Approaches with Constructive Type Theory
    Linking Game-Theoretical Approaches with Constructive Type Theory
    Nicolas Clerbout
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. As the work's subtitle expresses, the authors will build this link by means o...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Immanent Reasoning or Equality in Action
    Immanent Reasoning or Equality in Action
    Shahid Rahman
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). The authors equally emphasize basic ideas and ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. La Semantique Dialogique. Notions Fondamentales Et Elements de Metatheorie
    La Semantique Dialogique. Notions Fondamentales Et Elements de Metatheorie
    Nicolas Clerbout
    College Publications
    Taschenbuch
    Bezug 16-20
    L'approche dialogique fournit une théorie de la signification qui se distingue des paradigmes dominants de la théorie des modèles et de la théorie de la preuve. Du point de vue dialogique, la signi...
    32,88 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>