Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 06.07.2026 auf fremdsprachige Bücher online auf thalia.at, in der Thalia App ab einem Mindestbestellwert von 30€ und in allen Thalia Buchhandlungen in Österreich. In den Buchhandlungen nur gültig auf lagernde Ware. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. Pro Einkauf einmal einlösbar. Nur gültig gegen Vorlage oder im Onlineshop hinterlegter Bonuscard. Infos zur Einlösung in der Buchhandlung sind auf der Bonuscard-Vorteilspreisseite zu finden. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Einlösung bei Scan & Go-Bezahlung. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
Produktbild: Twenty-Five Years of Constructive Type Theory

Twenty-Five Years of Constructive Type Theory Proceedings of a Congress Held in Venice, October 1995

148,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

15.10.1998

Verlag

Oxford Academic

Seitenzahl

292

Maße (L/B/H)

24/16,1/2 cm

Gewicht

588 g

Sprache

Englisch

ISBN

978-0-19-850127-5

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

15.10.1998

Verlag

Oxford Academic

Seitenzahl

292

Maße (L/B/H)

24/16,1/2 cm

Gewicht

588 g

Sprache

Englisch

ISBN

978-0-19-850127-5

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Twenty-Five Years of Constructive Type Theory

    • 1: Yet another constructivization of classical logic

    • 2: Extension of Martin-Löf's type theory with record types

    • 3: Type-theoretical checking and philosophy of mathematics

    • 4: The Hahn-Banach theorem in type theory

    • 5: A realizability interpretation of Martin-Löf's type theory

    • 6: The groupoid interpretation of type theory

    • 7: An intuitionistic theory of types

    • 8: Analytic program derivation in type theory

    • 9: About storage operators

    • 10: On universes in type theory

    • 11: How to believe a machine-checked proof

    • 12: Building up a toolbox for Martin-Löf's type theory: subset theory

    • 13: An introduction to well-ordering proofs in Martin-Löf's type theory

    • 14: Variable-free formalization of the Curry-Howard theory

    • 15: The forget-restore principle: a paradigmatic example