Suchergebnisse - Päppinghaus, Peter

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

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

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1977
    Hochschulschrift/Dissertation Buch


    Gespeichert in:

Suchwerkzeuge: