Suchergebnisse - Laan, Twan 1970-

  • Treffer 1 – 2 von 2
Treffer filtern
  1. 1
    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:
  2. 2
    Buchumschlag

    The evolution of type theory in logic and mathematics
    von Laan, Twan 1970-

    Veröffentlicht 1997
    Hochschulschrift/Dissertation Buch


    Gespeichert in:

Suchwerkzeuge: