Grid   List

  1. A Modern Perspective on Type Theory
    -0 %

    A Modern Perspective on Type Theory

    F.D. Kamareddine
    Springer Netherland
    Ebook
    Sofort lieferbar

    `Towards the end of the nineteenth century, Frege gave us the abstraction principles and the gene...

    Unser bisheriger Preis:ORGPRICE: 136,52 €

    Jetzt 128,38 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. Type Theory and Formal Proof
    -0 %

    Type Theory and Formal Proof

    Herman Geuvers
    Cambridge University Press
    Ebook
    Sofort lieferbar

    Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics...

    Unser bisheriger Preis:ORGPRICE: 83,91 €

    Jetzt 83,90 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. Type Theory and Formal Proof
    -0 %

    Type Theory and Formal Proof

    Herman Geuvers
    Cambridge University Press
    Ebook
    Sofort lieferbar

    Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics...

    Unser bisheriger Preis:ORGPRICE: 83,91 €

    Jetzt 83,90 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. Type Theory and Formal Proof

    Type Theory and Formal Proof

    Rob Nederpelt
    Cambridge University Press
    Buch
    Print on Demand

    A gentle introduction for graduate students and researchers in the art of formalizing mathematics...

    91,20 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Type Theory and Formal Proof

    Type Theory and Formal Proof

    Herman Geuvers
    Cambridge University Press
    Ebook
    Nicht lieferbar

    Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics...

    162,11 €
    Alle Preise inkl. MwSt
  1. 1