Zum Hauptinhalt springen
UB Wuppertal

Suchergebnisse

Katalog
10 Treffer

Suchmaske

Suchtipp für den Bereich Katalog: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

10 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Labelled deductive systems, 1
    Dov M. Gabbay
    Oxford: Clarendon Press, 1996
    Monographie, Teil eines Werkes, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Many valued logics, 1. Theoretical foundations
    Leonard Bolc ; Piotr Borowik
    Berlin [u.a.]: Springer, 1992
    Monographie, Teil eines Werkes, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Cabal seminar, 4. [19]81/85: proceedings ; Caltech-UCLA Logic Seminar ..
    Cabal Seminar
    Berlin [u.a.]: Springer, 1988
    Aufsatzsammlung, Monographie, Teil eines Werkes, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Word problems, [1]. Decision problems and the Burnside problem in group theory : Conference 'Decision Problems in Group Theory', held at the Univ. of Calif., Irivine, Sept. 1969
    Amsterdam [u.a.]: North-Holland Publ, 1973
    Monographie, Teil eines Werkes, keine Angabe
  5. Detailansicht für Treffer 5 öffnen
    Arithmetische und hyperarithmetische Prädikate, 2. WS 71/72: nach einer einstündigen Vorlesung von D. Rödding
    Ausarb.: Klaus Mainzer
    Münster i.W.: Westfälische Wilhelms-Univ., Inst. für Mathematische Logik u. Grundlagenforschung, 1972
    Monographie, Teil eines Werkes, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Arithmetische und hyperarithmetische Prädikate, 1. SS 1971: nach einer einstündigen Vorlesung von D. Rödding
    Ausarb.: Klaus Mainzer
    Münster i.W.: Westfälische Wilhelms-Univ., Inst. für Mathematische Logik u. Grundlagenforschung, 1971
    Monographie, Teil eines Werkes, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Lincos, 1: design of a language for cosmic intercourse
    Hans Freudenthal
    Amsterdam: North-Holland Publ. Co, 1960
    Monographie, Teil eines Werkes, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Les fondements de la logique symbolique, 2. Justification des calculs logiques
    par Thomas Greenwood
    Paris: Hermann, 1938
    Monographie, Teil eines Werkes, keine Angabe
  9. Detailansicht für Treffer 9 öffnen
    Einführung in die Theorie der berechenbaren Funktionen, 1. NACH EINER DREISTUENDIGEN VORLESUNG. AUSARB.: P. KOERBER. 2. AUFL. 1975
    von D. Rödding
    Münster
    Monographie, Teil eines Werkes, keine Angabe
  10. Detailansicht für Treffer 10 öffnen
    Einführung in die Theorie der berechenbaren Funktionen, 2. NACH EINER ZWEISTUENDIGEN VORLESUNG. AUSARB.: PETER PAEPPINGHAUS. 1973
    von D. Rödding
    Münster
    Monographie, Teil eines Werkes, keine Angabe

Artikel & mehr

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -