nicolas clerbout
Linking Game-Theoretical Approaches with Constructive Type Theory
EbookSofort lieferbarThis title links two of the most dominant research streams in philosophy of logic, namely game th...
Immanent Reasoning or Equality in Action
EbookSofort lieferbarThis monograph proposes a new way of implementing interaction in logic. It also provides an eleme...
La Semantique Dialogique. Notions Fondamentales Et Elements de Metatheorie
TaschenbuchBezug 6-10L'approche dialogique fournit une théorie de la signification qui se distingue des paradigmes dom...
Immanent Reasoning or Equality in Action
BuchBezug 11-15This monograph proposes a new way of implementing interaction in logic. It also provides an el...
Linking Game-Theoretical Approaches with Constructive Type Theory
TaschenbuchBezug 11-15This title links two of the most dominant research streams in philosophy of logic, namely game th...
Immanent Reasoning or Equality in Action
TaschenbuchBezug 11-15This monograph proposes a new way of implementing interaction in logic. It also provides an el...
- 1