Oxford Logic Guides: Twenty Five Years of Constructive Type Theory (eBook / PDF)

Giovanni Sambin , Jan M. Smith

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

Schreiben Sie den ersten Kommentar zu "Oxford Logic Guides: Twenty Five Years of Constructive Type Theory".

Kommentar verfassen
Per Martin-Lof's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas...

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.


eBook80.16 €

Download bestellen
Sprache: Englisch

sofort als Download lieferbar

Bestellnummer: 77333145

Verschenken
Auf meinen Merkzettel
Versandkostenfrei
Bestellungen mit diesem Artikel sind versandkostenfrei!

Das könnte Ihnen auch gefallen

Kommentare zu "Oxford Logic Guides: Twenty Five Years of Constructive Type Theory"

0 Gebrauchte Artikel zu „Oxford Logic Guides: Twenty Five Years of Constructive Type Theory“

ZustandPreisPortoZahlungVerkäuferRating