UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 88

Sortiert nach

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, Aug. 18-22, 1980

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

1982

Signatur: TAY800910

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

Synthese library : 122 (Alle Bände)

Hintikka, Jaakko[Herausgeber]

1979

Signatur: TAY1445-4

Proceedings of the Second Scandinavian Logic Symposium : held at the University of Oslo, June 18 - 20, 1970

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

1971

Signatur: TAY1445-2

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

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

1975

Signatur: TCK2384

Logic Colloquium. 1984. Proceedings of the colloquium held in Manchester, U.K., July 1984

Logic Colloquium (Alle Bände), ... : 120 (Alle Bände)

Logic Colloquium

1986

Signatur: TAY841128

Logic Colloquium. 1985. Proceedings of the colloquium held in Orsay, France, July 1985

Logic Colloquium (Alle Bände), ... : 122 (Alle Bände)

Logic Colloquium

1987

Signatur: TAY851246

Logic Colloquium. 1986. Proceedings of the colloquium held in Hull, U.K., July 13 - 19, 1986

Logic Colloquium (Alle Bände), ... : 124 (Alle Bände)

Logic Colloquium

1988

Signatur: TAY861233

Logic Colloquium. '87. Proceedings of the Colloquium held in Granada, Spain, July 20-25, 1987

Logic Colloquium (Alle Bände), ... : 129 (Alle Bände)

Logic Colloquium

1989

Signatur: TAY870818

Logic Colloquium. '88. Proceedings of the Colloquium held in Padova, Italy, August 22-31, 1988

Logic Colloquium (Alle Bände), ... : 127 (Alle Bände)

Logic Colloquium

1989

Signatur: TAY880180

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Math. Logic held in Caracas, Venezuela, August 1 - 6, 1983

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

Prisco, Carlos Augusto <<di>>[Herausgeber]

1985

Signatur: TAY830533

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

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

Arruda, Ayda I[Herausgeber]

1980

Signatur: TAY2441

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

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

Casari, Ettore

1969

Signatur: TCK2287

Conference in Mathematical Logic : London '70

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

1972

Signatur: TCK1176

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

Zweiwertige und mehrwertige Logik : ein Beitrag zur Geschichte und Einheit der Logik

Analytica : 1 (Alle Bände)

Rutz, Peter

1973

Signatur: HLF1016

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

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

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987

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

Shinoda, Juichi[Herausgeber]

1989

Signatur: TAY870672

Entailment : the logic of relevance and necessity. 1 / by Alan Ross Anderson and Nuel D. Belnap

Entailment (Alle Bände)

1975

Signatur: TCL2038-1

Annals of pure and applied logic

1983-

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

Omega-bibliography of mathematical logic

Perspectives in mathematical logic

Müller, Gert H[Herausgeber]

Signatur: TAA1021-...

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

Lectures in logic and set theory. 1. Mathematical logic

Lectures in logic and set theory (Alle Bände), Cambridge studies in advanced mathematics : 82 (Alle Bände)

Tourlakis, George J

2003

Signatur: TCK3500-1

1 – 25 von 88

Suche als RSS-Feed

Aktive Filter

Art des InhaltsSonstiges

Autor / AutorinCopi, Irving M

SchlagwortComputer science

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(81)
Online-Ressource
(7)

Autor / Autorin

Müller, Gert H
(8)
Logic Colloquium
(6)
Asser, Günter
(3)
Carnielli, Walter A
(2)
Edwards, Robert E
(2)
Hintikka, Jaakko
(2)
Oberschelp, Arnold
(2)
Symposium on Logic in Computer Science
(2)
Anderson, Alan Ross
(1)
Ando, Hiroshi
(1)
Arruda, Ayda I
(1)
Bar-Hillēl, Yehôšuaʿ
(1)
Bauer, Friedrich L
(1)
Beeh, Volker
(1)
Belnap, Nuel D
(1)
Berenstein, Alexander
(1)
Bokut', Leonid A
(1)
Brouwer, Luitzen E. J
(1)
Broy, Manfred
(1)
Bucur, Ion
(1)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(74)
Zeitschrift
(14)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Systemstelle

TAY
(19)
TCK
(13)
TAA
(5)
TCL
(5)
TBR
(4)
61
(2)
64
(2)
HLF
(2)
BEL
(1)
BFY
(1)
BHA
(1)
HIHT
(1)
HLZ
(1)
JFPQ
(1)
TAQ
(1)
TAWS
(1)
TAWT
(1)
TAXF
(1)
TBL
(1)
TCS
(1)

15 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

1 weiteren anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, Aug. 18-22, 1980

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

Proceedings of the Second Scandinavian Logic Symposium : held at the University of Oslo, June 18 - 20, 1970

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

Logic Colloquium. 1984. Proceedings of the colloquium held in Manchester, U.K., July 1984

Logic Colloquium. 1985. Proceedings of the colloquium held in Orsay, France, July 1985

Logic Colloquium. 1986. Proceedings of the colloquium held in Hull, U.K., July 13 - 19, 1986

Logic Colloquium. '87. Proceedings of the Colloquium held in Granada, Spain, July 20-25, 1987

Logic Colloquium. '88. Proceedings of the Colloquium held in Padova, Italy, August 22-31, 1988

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Math. Logic held in Caracas, Venezuela, August 1 - 6, 1983

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

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

Conference in Mathematical Logic : London '70

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

Zweiwertige und mehrwertige Logik : ein Beitrag zur Geschichte und Einheit der Logik

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

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

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987

Entailment : the logic of relevance and necessity. 1 / by Alan Ross Anderson and Nuel D. Belnap

Annals of pure and applied logic

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

Omega-bibliography of mathematical logic

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

Lectures in logic and set theory. 1. Mathematical logic

Aktive Filter

Suchergebnisse filtern