nicolas clerbout
Immanent Reasoning or Equality in Action
DigitalSofort lieferbarThis monograph proposes a new way of implementing interaction in logic. It also provides an el...
Linking Game-Theoretical Approaches with Constructive Type Theory
DigitalSofort lieferbarThis title links two of the most dominant research streams in philosophy of logic, namely game th...
Linking Game-Theoretical Approaches with Constructive Type Theory
TaschenbuchPrint on DemandThis title links two of the most dominant research streams in philosophy of logic, namely game th...
- 1