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 von J. Lambek (Englisch) Taschenbuch

Ø 0.0
0 Bewertungen
119,71 €

Introduction to Higher Order Categorical Logic by J. Lambek, P.J. Scott. Part II demonstrates that another formulation of higher-order logic, (intuitionistic) type theories, is closely related to topos theory.

Jetzt bei Ebay: