Suchergebnisse - Nederpelt, Rob 1942-

  • Treffer 1 – 4 von 4
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 2014
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 2004
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 2014
    Inhaltsverzeichnis
    Buch


    Gespeichert in:

Suchwerkzeuge: