Kaca pembesar
Cari Loader

Penulis: Ansten Klev

Dukung

1 Ebooks oleh 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
Inggris
€53.49