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
