Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
36 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

Erscheinungszeitraum

Zugang

Literaturtyp

Schlagwort

Sprache

Form

Person

36 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Proof Theory Symposion: dedicated to Kurt Schütte on the occasion of his 65th birthday ; proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
    ISILC. Ed. by J. Diller ..
    Berlin [u.a.]: Springer, 1975
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Proceedings of the International Conference on Algebra Dedicated to the Memory of A. I. Mal'cev
    L. A. Bokut' ..., ed
    Providence, RI: American Mathematical Society
    Festschrift, Konferenzschrift, Schriftenreihe, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Computation and proof theory: proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 ; part II
    ed. by M. M. Richter ..
    Berlin: Springer, 1984
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Proceedings of the colloquium, 1982. held in Florence, 23 - 28 August, 1982
    Logic Colloquium
    Amsterdam [u.a.]: North-Holland Publ. Co (1984) ; Cambridge [u.a.]: Univ. Pr (1980), 1984; 1980
    Konferenzschrift, Monographie, Teil eines Werkes, keine Angabe
  5. Detailansicht für Treffer 5 öffnen
    Mathematical logic and its applications: [proceedings of an Advanced Internat. Summer School and Conference on Math. Logic and Its Applications, in honor of the 80th anniversary of Kurt Gödel's birth, held Sept. 24 - Oct. 4, 1986, in Druzhba, Bulgaria]
    ed. by Dimiter G. Skordev
    New York [u.a.]: Plenum Pr, 1987
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Proceedings of the colloquium, 1981. Held in Marseilles, France, July 1981 / ed. by J. Stern
    Logic Colloquium
    Amsterdam [u.a.]: North-Holland Publ. Co (1982) ; Cambridge [u.a.]: Univ. Pr (1980), 1982; 1980
    Konferenzschrift, Monographie, Teil eines Werkes, keine Angabe
  7. Detailansicht für Treffer 7 öffnen
    Algebra and logic: papers from the 1974 Summer Research Inst. of the Australian Mathematical Society, Monash Univ., Australia
    ed. by J. N. Crossley
    Berlin [u.a.]: Springer, 1975
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Proceedings of the colloquium, 1983 held in Aachen, July 18 - 23, 1983, Bd. 2. Computation and proof theory
    Logic Colloquium
    Amsterdam [u.a.]: North-Holland Publ. Co (1984) ; Cambridge [u.a.]: Univ. Pr (1980), 1984; 1980
    Konferenzschrift, Monographie, Teil eines Werkes, keine Angabe
  9. Detailansicht für Treffer 9 öffnen
    Proceedings of the colloquium, 1986. held in Hull, U.K., July 13 - 19, 1986
    Logic Colloquium
    Amsterdam [u.a.]: North-Holland Publ. Co (1988) ; Cambridge [u.a.]: Univ. Pr (1980), 1988; 1980
    Konferenzschrift, Monographie, Teil eines Werkes, keine Angabe
  10. Detailansicht für Treffer 10 öffnen
    Essays on mathematical and philosophical logic: proceedings of the 4. Scandinavian Logic Symposium and of the 1. Soviet-Finnish Logic Conference, Jyvaeskylae, Finland, June 29 - July 6, 1976
    Hintikka, Jaakko (1929-2015)
    Dordrecht: Reidel, 1979
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Algebraic logic
    ed. by H. Andréka ..
    Amsterdam [u.a.]: North-Holland, 1991
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Logic Conference: proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
    ISILC. Ed. by G. H. Müller ..
    Berlin [u.a.]: Springer, 1975
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Methods in mathematical logic: proceedings of the 6th Latin American Symposium on Math. Logic held in Caracas, Venezuela, August 1 - 6, 1983
    ed. by C. A. di Prisco
    Berlin [u.a.]: Springer, 1985
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Logic Colloquium '92: [European summer meeting of the Association for Symbolic Logic, held in Veszprém, Hungary, from August 9 to August 15, 1992]
    ed. by László Csirmaz ..
    Stanford, Calif.: CSLI Publ. [u.a.], 1995
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Applications of sheaves: proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9 - 21, 1977
    ed. by Michael P. Fourman ..
    Berlin [u.a.]: Springer, 1979
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Mathematical logic: [proceedings of the Summer School and Conference on Mathematical Logic, ... held September 13 - 23, 1988, in Chaika (near Varna), Bulgaria]
    ed. by Petio Petrov Petkov
    New York [u.a.]: Plenum Pr, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Patras Logic Symposion: proceedings of the Logic Symposion held at Patras, Greece, Aug. 18-22, 1980
    ed. by George Metakides
    Amsterdam: North-Holand Publ. Comp, 1982
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Proceedings of the colloquium, 1984. held in Manchester, U.K., July 1984
    Logic Colloquium
    Amsterdam [u.a.]: North-Holland Publ. Co (1986) ; Cambridge [u.a.]: Univ. Pr (1980), 1986; 1980
    Konferenzschrift, Monographie, Teil eines Werkes, keine Angabe
  19. Detailansicht für Treffer 19 öffnen
    Proceedings of the colloquium, 1976. Proceedings of a conference held in Oxford in July 1976
    Logic Colloquium
    Amsterdam [u.a.]: North-Holland Publ. Co (1977) ; Cambridge [u.a.]: Univ. Pr (1980), 1977; 1980
    Konferenzschrift, Monographie, Teil eines Werkes, keine Angabe
  20. Detailansicht für Treffer 20 öffnen
    Proceedings of the colloquium, 1985. Held in Orsay, France, July 1985
    Logic Colloquium
    Amsterdam [u.a.]: North-Holland Publ. Co (1987) ; Cambridge [u.a.]: Univ. Pr (1980), 1987; 1980
    Konferenzschrift, 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 -