8 results
Type of media (3)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
8 results

Your search for Rob Nederpelt

  1. Cover: Type Theory and Formal Proof - Cambridge University Press
    Rob Nederpelt | Herman Geuvers
    Type Theory and Formal Proof
    An Introduction
    11/2014
    1st EDN1st Edition
    Cambridge University Press
    9781316056349 (ISBN)
    E-Book
    PDF
    Other editions
    €67.99
    Available for download
  2. Cover: Type Theory and Formal Proof - Cambridge University Press
    Rob Nederpelt
    Type Theory and Formal Proof
    An Introduction
    11/2014
    Cambridge University Press
    9781316053980 (ISBN)
    E-Book
    ePUB
    Other editions
    €58.99
    Available for download
  3. Cover: A Modern Perspective on Type Theory - Springer
    F.D. Kamareddine | T. Laan | Rob Nederpelt
    A Modern Perspective on Type Theory
    From its Origins until Today
    03/2006
    1st EDN1st Edition
    Springer
    9781402023354 (ISBN)
    E-Book
    PDF
    Other editions
    €128.39
    Available for download
  4. Cover: Type Theory and Formal Proof - Cambridge University Press
    Rob Nederpelt | Herman Geuvers
    Type Theory and Formal Proof
    An Introduction
    11/2014
    Cambridge University Press
    9781107036505 (ISBN)
    Book
    Hardback
    Other editions
    €98.40
    Shipment within 15-20 days
  5. Cover: A Modern Perspective on Type Theory - Springer
    F.D. Kamareddine | T. Laan | Rob Nederpelt
    A Modern Perspective on Type Theory
    From Its Origins Until Today
    01/2005
    Springer
    9781402023354 (ISBN)
    Software
    Digital media
    €169.43
    Shipment within 15-20 days
  6. Cover: A Modern Perspective on Type Theory - Springer
    F.D. Kamareddine | T. Laan | Rob Nederpelt
    A Modern Perspective on Type Theory
    From its Origins until Today
    10/2010
    Springer
    9789048166398 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €139.09
    Shipment within 15-20 days
  7. Cover: A Modern Perspective on Type Theory - Springer
    F.D. Kamareddine | T. Laan | Rob Nederpelt
    A Modern Perspective on Type Theory
    From its Origins until Today
    06/2004
    Springer
    9781402023347 (ISBN)
    Book
    Hardback
    Other editions
    €192.59
    Shipment within 15-20 days
  8. Cover: Logical Reasoning - College Publications
    Fairouz Kamareddine | Rob Nederpelt
    Logical Reasoning
    A First Course
    04/2004
    College Publications
    9780954300678 (ISBN)
    Book
    Paperback/Softback
    €32.60
    Shipment within 10-20 days