Treffer 1 - 2 von 2 für Suche 'Rezus, Adrian', Suchdauer: 0,37s Treffer weiter einschränken
  1. 1
    Lambda-conversion and logic

    Lambda-conversion and logic von Rezus, Adrian

    Veröffentlicht 1981
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Abstract automath

    Abstract automath von Rezus, Adrian

    Veröffentlicht 1983
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: