r p 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,49 €
    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...
    69,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Selected Papers on Automath
    Selected Papers on Automath
    R. P. Nederpelt
    Elsevier Science & Techn.
    Ebook
    Sofort lieferbar
    The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a numb...
    54,95 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Logical Reasoning
    Logical Reasoning
    R. Nederpelt
    College Publications
    Taschenbuch
    Bezug 6-10
    This book describes how logical reasoning works and puts it to the test in applications. It is self-contained and presupposes no more than elementary competence in mathematics.
    43,45 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. 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.
    111,65 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. A Modern Perspective on Type Theory
    A Modern Perspective on Type Theory
    F. D. Kamareddine
    Springer Netherlands, 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...
    195,90 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. 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...
    219,44 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Object-oriented Quality Management (OQRM). Een praktische methode voor kwaliteits- en risicomanagement.
    Object-oriented Quality Management (OQRM). Een praktische methode voor kwaliteits- en risicomanagement.
    Peter W. M. van Nederpelt
    Lulu.com
    Taschenbuch
    Bezug 11-15
    Het management wil iets met kwaliteit of risico's doen, maar weet niet waar te beginnen. Het moet liefst niet te ingewikkeld zijn en ook niet teveel tijd kosten, maar het moet wel hout snijden. Ook...
    27,94 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Object-oriented Quality and Risk Management (OQRM). A practical and generic method to manage quality and risk.
    Object-oriented Quality and Risk Management (OQRM). A practical and generic method to manage quality and risk.
    P. W. M. van Nederpelt
    Lulu.com
    Taschenbuch
    Bezug 11-15
    Management aims to control quality and risks, but it often does not know where to start. Preferably, it should not be too complex, nor should it take up too much time, but it must make sense. Moreo...
    20,00 €
    Alle Preise inkl. MwSt |ggf. zzgl. Versand
    In den Warenkorb Zum Merkzettel
  11. Frozen
    Frozen
    Noa Nederpelt
    Lulu.com
    Taschenbuch
    Bezug 11-15
    Year 2013. Lyra Daniels used to be ordinary, but she was flung into a world she would not be able to imagine even in her wildest dreams. Dangerous people are after her because of her heritage, and ...
    29,37 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>