Search Results - Nederpelt, Rob

  • Showing 1 – 5 results of 5
Filter by
  1. 1
    Cover Image

    Type theory and formal proof: an introduction
    by Nederpelt, Rob 1942-

    Published 2014

    Read online (BSB)
    Library Card of Bavarian State Library (BSB) necessary.
    Read online (LMU)
    Available at the library of LMU.
    Electronic eBook


    Saved in:
  2. 2
    Cover Image

    A modern perspective on type theory: from its origins until today
    by Kamareddine, Fairouz, Laan, Twan 1970-, Nederpelt, Rob 1942-

    Published 2004
    Order via interlibrary loan
    Book


    Saved in:
  3. 3
    Cover Image

    De taal van de wiskunde: een verkenning van wiskundig taalgebruik en logische redeneerpatronen
    by Nederpelt, Rob 1942-

    Published 1987
    Order via interlibrary loan
    Book


    Saved in:
  4. 4
    Cover Image

    Type theory and formal proof: an introduction
    by Nederpelt, Rob 1942-, Geuvers, Herman 1964-

    Published 2014
    Table of Contents
    Book


    Saved in:
  5. 5
    Cover Image

    N. G. de Bruijn (1918 - 2012) and his road to automath, the earliest proof checker
    by Dechesne, Francien, Nederpelt, Rob

    Published 2012
    Order via interlibrary loan
    Paper


    Saved in:

Search Tools: