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