Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
5 Treffer

Suchmaske

Suchtipp für den Bereich UB 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

5 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Perspectives on the history of mathematical logic
    Thomas Drucker, ed
    Boston [u.a.]: Birkhäuser, 1991
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Harvey Friedman's research on the foundations of mathematics
    ed. by L. A. Harrington ..
    Amsterdam [u.a.]: North-Holland, 1985
    Bibliografie, Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Infinitary logic: in memoriam Carol Karp ; a collection of papers by various authors
    ed. by D. W. Kueker
    Berlin [u.a.]: Springer, 1975
    Festschrift, Bibliografie, Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    To H. B. Curry: essays on combinatory logic, lambda calculus and formalism
    ed. by J. P. Seldin ..
    London [u.a.]: Acad. Press, 1980
    Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    MATHEMATICAL LOGIC AND FORMAL SYSTEMS: A COLLECTION OF PAPERS IN HONOR OF PROF. NEWTON C. A. DA COSTA
    ED. BY LUIZ PAOLO DE ALCANTARA
    NEW YORK (U.A.): DEKKER, 1985
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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