Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Einführung in die kategoriale Logik höherer Ordnung (Cambridge Studie

Ø 0.0
0 Bewertungen
62,80 €

Part II demonstrates that another formulation of higher-order logic, (intuitionistic) type theories, is closely related to topos theory. Part III is devoted to recursive functions. The authors have included an introduction to category theory and develop the necessary logic as required, making the book essentially self-contained.

Jetzt bei Ebay: