Kategorische Logik und Typentheorie: Band 141

Bewertung: ⭐⭐⭐⭐⭐  (4,7 von 5)

Leserbewertungen

Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 5 Stimmen.

Originaltitel:

Categorical Logic and Type Theory: Volume 141

Inhalt des Buches:

Dieses Buch ist ein Versuch, eine systematische Darstellung der Logik und der Typentheorie aus einer kategorialen Perspektive unter Verwendung des vereinheitlichenden Konzepts der faserigen Kategorie zu geben.

Sein Zielpublikum sind Logiker, Typentheoretiker, Kategorientheoretiker und (theoretische) Informatiker.

Weitere Daten des Buches:

• ISBN: 9780444508539
• Autor: B. Jacobs
• Verlag: Elsevier Science & Technology
• Sprache: Englisch
• Einband: Taschenbuch
• Erscheinungsjahr: 2001
• Seitenzahl: 778