2 Електронні книги від Nicolas Clerbout
Nicolas Clerbout & Shahid Rahman: Linking Game-Theoretical Approaches with Constructive Type Theory
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 of …
PDF
Англійська
€53.49
Shahid Rahman & Zoe McConaughey: Immanent Reasoning or Equality in Action
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 fi …
PDF
Англійська
€53.49