Showing 1 - 4 results of 4 for search 'Nederpelt, Rob 1942-', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Type theory and formal proof an introduction

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

    Published 2014
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Type theory and formal proof an introduction

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

    Published 2014
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  3. 3
    A modern perspective on type theory from its origins until today

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

    Published 2004
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    De taal van de wiskunde een verkenning van wiskundig taalgebruik en logische redeneerpatronen

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

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: