UB Paderborn / Katalog / Suche / im Katalog

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Lecture notes in mathematics : 499 (Alle Bände)

1975

Signatur: TCK2384

Nonmonotonic and inductive logic : international workshop ; proceedings

Lecture notes in computer science : ... : Lecture notes in artificial intelligence

Praktische Logik : Traditionen und Tendenzen ; 350 Jahre Joachimi Jungii "Logica Hamburgensis" ; Abhandlungen eines Seminars beim 13. Internationalen Wittgenstein-Symposium, Kirchberg am Wechsel 1988

Veröffentlichung der Joachim-Jungius-Gesellschaft der Wissenschaften Hamburg : 61 (Alle Bände)

Klein, Peter[Herausgeber]

1990

Signatur: HLF2397

Special issue: LICS 1995 : papers ... at the Tenth Annual IEEE Symposium on Logic in Computer Science (LICS), held June 26 - 29, 1995, in San Diego, California

Information and computation : 157 (Alle Bände)

2000

Signatur: 64i1

Non-classical logics, model theory, and computability : proceedings of the Third Latin American Symposium on Mathematical Logic, Campinas, Brazil, July 11 - 17, 1976

Studies in logic and the foundations of mathematics : 89 (Alle Bände)

Arruda, Ayda I[Herausgeber]

1977

Signatur: TCL2559

Logic Colloquium : symposium on logic held at Boston 1972 - 73

Lecture notes in mathematics : 453 (Alle Bände)

1975

Signatur: TCK2017

Analyse harmonique sur les groupes de Lie et les espaces symétriques : actes du colloque du Kleebach, 20 - 24 mai 1983

Mémoire de la Société Mathématique de France : NS,15 (Alle Bände)

Duflo, Michel[Herausgeber]

1984

Signatur: 61b7

Compte rendu de la Table Ronde de Logique : octobre 1983, Paris

Mémoire de la Société Mathématique de France : NS,16 (Alle Bände)

1985

Signatur: 61b7

Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic, held July 29 - August 2, 1985

Contemporary mathematics : 69 (Alle Bände)

Carnielli, Walter A[Herausgeber]

1988

Signatur: TBR1664-69

Estudios de historia de la logica : actas del II Simposio de Historia de la Logica, Universidad de Navarra, Pamplona, 25 - 27 de Mayo de 1987

Acta philosophica

Angelelli, Ignacio[Herausgeber]

1990

Signatur: HLG1524

Cambridge Summer School in Mathematical Logic : held in Cambridge, England, August 1 - 21, 1971

Lecture notes in mathematics : 337 (Alle Bände)

1973

Signatur: TCK1930

Aspects of mathematical logic : Varenna, 9 - 17 settembre 1968

Ciclo / Centro Internazionale Matematico Estivo : 1968,3 (Alle Bände)

Casari, Ettore

1969

Signatur: TCK2287

Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6 - 10, 1996, Salvador, Bahia, Brazil

Contemporary mathematics : 235 (Alle Bände)

Carnielli, Walter A[Herausgeber]

1999

Signatur: TBR1664-235

Aspects of inductive logic

Studies in logic and the foundations of mathematics

Hintikka, Jaakko[Herausgeber]

1966

Signatur: TCK1752

Aspects of philosophical logic : some logical forays into central notions of linguistics and philosophy

Synthese library : 147 (Alle Bände)

Mönnich, Uwe[Herausgeber]

1981

Signatur: HLF2444

Conference in Mathematical Logic : London '70

Lecture notes in mathematics : 255 (Alle Bände)

1972

Signatur: TCK1176

Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966

Studies in logic and the foundations of mathematics

Schmidt, Hermann Arnold[Herausgeber]

1968

Signatur: TCK1744

Modern uses of multiple-valued logic : invited papers from the 5th International Symposium on Multiple Valued Logic held at Indiana University, Bloomington, Indiana, May 13 - 16, 1975

Episteme : 2 (Alle Bände)

Dunn, Jon Michael[Herausgeber]

1977

Signatur: TCO1493

Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4 - 10, 1985, with support from the National Science Foundation

Contemporary mathematics : 65 (Alle Bände)

Simpson, Stephen G[Herausgeber]

1987

Signatur: TBR1664-65

Intensional logic : theory and applications

Acta philosophica Fennica : 35 (Alle Bände)

Niiniluoto, Ilkka[Herausgeber]

1982

Signatur: M38141

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16 - 19, 1971

Lecture notes in mathematics : 274 (Alle Bände)

1972

Signatur: TBL1012

Special issue: LICS 1996 : July 27 - 30, 1996, New Brunswick, NJ

2000-

Signatur: 64i1

Mathematical logic and programming languages

Prentice-Hall international series in computer science

Hoare, Charles A. R[Herausgeber]

1985

Signatur: TVD1703

Recent developments in quantum logic : proceedings of the International Symposium on Quantum Logic, Cologne, Germany, June 13-16, 1984

Grundlagen der exakten Naturwissenschaften : 6 (Alle Bände)

Mittelstaedt, Peter[Herausgeber]

1985

Signatur: UAL840108

Ancient logic and its modern interpretations : proceedings of the Buffalo Symposium on Modernist Interpretations of Ancient Logic, 21 and 22 April, 1972

Synthese historical library : 9 (Alle Bände)

Corcoran, John[Herausgeber]

1974

Signatur: HLG1192

1 – 25 von 65

Suche als RSS-Feed

Aktive Filter

SystemstelleTAY

SchlagwortOntologie

Art des InhaltsKongressbericht

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(62)
Online-Ressource
(3)

Erscheinungsform

Monographie
(64)
Zeitschrift
(1)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Systemstelle

TCK
(8)
HLF
(7)
HLG
(5)
TBR
(5)
HII
(4)
TCL
(3)
61
(2)
64
(2)
BEL
(2)
HJR
(2)
TBP
(2)
TCO
(2)
WAI
(2)
AFG
(1)
BHA
(1)
EUK
(1)
HIN
(1)
HKF
(1)
HKO
(1)
HLH
(1)

15 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Nonmonotonic and inductive logic : international workshop ; proceedings

Praktische Logik : Traditionen und Tendenzen ; 350 Jahre Joachimi Jungii "Logica Hamburgensis" ; Abhandlungen eines Seminars beim 13. Internationalen Wittgenstein-Symposium, Kirchberg am Wechsel 1988

Special issue: LICS 1995 : papers ... at the Tenth Annual IEEE Symposium on Logic in Computer Science (LICS), held June 26 - 29, 1995, in San Diego, California

Non-classical logics, model theory, and computability : proceedings of the Third Latin American Symposium on Mathematical Logic, Campinas, Brazil, July 11 - 17, 1976

Logic Colloquium : symposium on logic held at Boston 1972 - 73

Analyse harmonique sur les groupes de Lie et les espaces symétriques : actes du colloque du Kleebach, 20 - 24 mai 1983

Compte rendu de la Table Ronde de Logique : octobre 1983, Paris

Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic, held July 29 - August 2, 1985

Estudios de historia de la logica : actas del II Simposio de Historia de la Logica, Universidad de Navarra, Pamplona, 25 - 27 de Mayo de 1987

Cambridge Summer School in Mathematical Logic : held in Cambridge, England, August 1 - 21, 1971

Aspects of mathematical logic : Varenna, 9 - 17 settembre 1968

Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6 - 10, 1996, Salvador, Bahia, Brazil

Aspects of inductive logic

Aspects of philosophical logic : some logical forays into central notions of linguistics and philosophy

Conference in Mathematical Logic : London '70

Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966

Modern uses of multiple-valued logic : invited papers from the 5th International Symposium on Multiple Valued Logic held at Indiana University, Bloomington, Indiana, May 13 - 16, 1975

Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4 - 10, 1985, with support from the National Science Foundation

Intensional logic : theory and applications

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16 - 19, 1971

Special issue: LICS 1996 : July 27 - 30, 1996, New Brunswick, NJ

Mathematical logic and programming languages

Recent developments in quantum logic : proceedings of the International Symposium on Quantum Logic, Cologne, Germany, June 13-16, 1984

Ancient logic and its modern interpretations : proceedings of the Buffalo Symposium on Modernist Interpretations of Ancient Logic, 21 and 22 April, 1972

Aktive Filter

Suchergebnisse filtern