Studies in Logic and the Foundations of Mathematics: Categorical Logic and Type Theory, B. Jacobs

Studies in Logic and the Foundations of Mathematics: Categorical Logic and Type Theory (eBook / PDF)

B. Jacobs

Keine Kommentare vorhanden
Jetzt ersten Kommentar schreiben!
Bewerten Sie jetzt diesen Artikel

Schreiben Sie den ersten Kommentar zu "Studies in Logic and the Foundations of Mathematics: Categorical Logic and Type Theory".

Kommentar verfassen
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.

Produkt empfehlen

2 Klicks für mehr Datenschutz: Erst wenn Sie hier klicken, wird der Button aktiv und Sie können Ihre Empfehlung an Facebook senden. Schon beim Aktivieren werden Daten an Dritte übertragen – siehe i.
2 Klicks für mehr Datenschutz: Erst wenn Sie hier klicken, wird der Button aktiv und Sie können Ihre Empfehlung an Google+ senden. Schon beim Aktivieren werden Daten an Dritte übertragen – siehe i.
Wenn Sie diese Felder durch einen Klick aktivieren, werden Informationen an Facebook, Twitter oder Google in die USA übertragen und unter Umständen auch dort gespeichert. Näheres erfahren Sie durch einen Klick auf das i.


eBook226.10 €

Download bestellen
Sprache: Englisch

sofort als Download lieferbar

Bestellnummer: 31176696

Verschenken
Auf meinen Merkzettel

Das könnte Ihnen auch gefallen

Kommentare zu "Studies in Logic and the Foundations of Mathematics: Categorical Logic and Type Theory"

0 Gebrauchte Artikel zu „Studies in Logic and the Foundations of Mathematics: Categorical Logic and Type Theory“

ZustandPreisPortoZahlungVerkäuferRating