1 Электронные книги Ansten Klev
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
