Gratisversand in ganz Deutschland!
Bookbot

Johan Georg Granström

    Treatise on Intuitionistic Type Theory
    • Die intuitionistische Typentheorie wird als Teil der Vision einer universellen Wissenschaftssprache dargestellt. Das Buch behandelt Aspekte wie Mengenlehre, Referenz vs. Berechnung, Annahme und Substitution. Philosophische Themen wie Kompositionalität, Epistemologie und intuitionistische Logik werden ebenfalls behandelt, ergänzt durch historische Verweise.

      Treatise on Intuitionistic Type Theory