Treffer 1 – 3 von 3 für Suche 'Päppinghaus, Peter', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Completeness properties of classical theories of finite type and the normal form theorem

    Completeness properties of classical theories of finite type and the normal form theorem von Päppinghaus, Peter

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Nondeterministic partial logic: isotonic and guarded truth-functions

    Nondeterministic partial logic: isotonic and guarded truth-functions von Päppinghaus, Peter, Wirsing, Martin 1948-

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Existentiell schwache Vollständigkeit der Logik zweiter Stufe und Schnittelimination

    Existentiell schwache Vollständigkeit der Logik zweiter Stufe und Schnittelimination von Päppinghaus, Peter

    Veröffentlicht 1977
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: