rob nederpelt

Grid   List

  1. A Modern Perspective on Type Theory
    A Modern Perspective on Type Theory
    F. D. Kamareddine
    Springer Netherlands
    Ebook
    Sofort lieferbar
    This book provides an overview of type theory. The first part of the book is historical, yet at the same time, places historical systems in the modern setting. The second part deals with modern typ...
    128,39 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Type Theory and Formal Proof
    Type Theory and Formal Proof
    Rob Nederpelt
    Cambridge University Press
    Ebook
    Sofort lieferbar
    Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to u...
    60,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Type Theory and Formal Proof
    Type Theory and Formal Proof
    Rob Nederpelt
    Cambridge University Press
    Ebook
    Sofort lieferbar
    Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to u...
    70,49 €
    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
    Bezug 11-15
    A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.
    109,75 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. A Modern Perspective on Type Theory
    A Modern Perspective on Type Theory
    F. D. Kamareddine
    Springer Netherlands
    Taschenbuch
    Bezug 11-15
    `Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. This l...
    134,55 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. A Modern Perspective on Type Theory
    A Modern Perspective on Type Theory
    F. D. Kamareddine
    Springer Netherlands, Springer Netherlands
    Buch
    Bezug 11-15
    `Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. This l...
    182,96 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>