UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 33

Sortiert nach

Logic in algebraic form : three languages and theories

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

Craig, William

1974

Signatur: TCL2101

An algebraic approach to non-classical logics

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

Rasiowa, Helena

1974

Signatur: TCL1252

Logic and algebra

Lecture notes in pure and applied mathematics : 180 (Alle Bände)

Ursini, Aldo[Herausgeber]

1. print, 1996

Signatur: TAY940582

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

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

1972

Signatur: TBL1012

An algebraic introduction to mathematical logic

Graduate texts in mathematics : 22 (Alle Bände)

1975

Signatur: TCL1715

Logic and algebra

Contemporary mathematics : 302 (Alle Bände)

Zhang, Yi[Herausgeber]

2002

Signatur: TBR1664-302

Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia

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

Crossley, John N[Herausgeber]

1975

Signatur: TDP1905

Derived categories

Cambridge studies in advanced mathematics : 183 (Alle Bände)

Yekutieli, Amnon

2020

Signatur: TEG5893

Derived categories

Cambridge studies in advanced mathematics : 183 (Alle Bände)

Yekutieli, Amnon

2020

Link zum Volltext
Cambridge University Press online books

Selected topics in algebra and its interrelations with logic, number theory and algebraic geometry

Mathematics and its applications : East European series : 12 (Alle Bände)

Bucur, Ion

1. Engl. ed, 1984

Signatur: TEG2879

Finite algebra and multiple valued logic

Colloquia mathematica Societatis János Bolyai : 28 (Alle Bände)

Csákány, Béla[Herausgeber]

1981

Signatur: TAY790610

Informatik und Mathematik : Professor Dr. Dr. h.c. mult. F. L. Bauer zum 65. Geburtstag

1991

Signatur: TTQB1004

Selecta

1990

Signatur: TAWS1242

Mathematics of the 19th century

Kolmogorov, Andrej Nikolaevič[Herausgeber]

Signatur: TAQ4053-...

Network algebra

Discrete mathematics and theoretical computer science

Ştefănescu, Gheorghe

2000

Signatur: TEK1166

Proceedings of the International Conference on Algebra Dedicated to the Memory of A. I. Mal'cev

Contemporary mathematics : 131 (Alle Bände)

Signatur: TBR1664-131

Geschichte der Mathematik kompakt : Das Wichtigste aus Arithmetik, Geometrie, Algebra, Zahlentheorie und Logik

Brückler, Franka Miriam

2017

Link zum Volltext
Springer Natur- und Basiswissenschaften 2017 (ZDB-2-SNA)

Logic, Rationality, and Interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings [Elektronische Ressource]

2011

Logic, Rationality, and Interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings [Elektronische Ressource]

2013

Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV [Elektronische Ressource]

2009

Link zum Volltext
Springer Mathematics & Statistics 2009 (ZDB-2-SMA)

Theory and Applications of Relational Structures as Knowledge Instruments : COST Action 274, TARSKI. Revised Papers [Elektronische Ressource]

2003

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Logics in Artificial Intelligence : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings [Elektronische Ressource]

Lecture Notes in Computer Science : 6341

2010

Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings [Elektronische Ressource]

2013

Logic, Language, Information and Computation : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings [Elektronische Ressource]

Lecture Notes in Computer Science : 6188

2010

1 – 25 von 33

Suche als RSS-Feed

Aktive Filter

Autor / AutorinBoicescu, Vladimir

SchlagwortMengenlehre

SchlagwortOntologie

SchlagwortAlgebra

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(17)
Gedruckt
(16)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(33)

Schlagwort

14 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(26)
Deutsch
(2)

Systemstelle

TCL
(3)
TAQ
(2)
TAY
(2)
TBR
(2)
TEG
(2)
TAWS
(1)
TBL
(1)
TDP
(1)
TEK
(1)
TTQB
(1)

5 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Logic in algebraic form : three languages and theories

An algebraic approach to non-classical logics

Logic and algebra

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

An algebraic introduction to mathematical logic

Logic and algebra

Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia

Derived categories

Derived categories

Selected topics in algebra and its interrelations with logic, number theory and algebraic geometry

Finite algebra and multiple valued logic

Informatik und Mathematik : Professor Dr. Dr. h.c. mult. F. L. Bauer zum 65. Geburtstag

Selecta

Mathematics of the 19th century

Network algebra

Proceedings of the International Conference on Algebra Dedicated to the Memory of A. I. Mal'cev

Geschichte der Mathematik kompakt : Das Wichtigste aus Arithmetik, Geometrie, Algebra, Zahlentheorie und Logik

Logic, Rationality, and Interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings [Elektronische Ressource]

Logic, Rationality, and Interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings [Elektronische Ressource]

Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV [Elektronische Ressource]

Theory and Applications of Relational Structures as Knowledge Instruments : COST Action 274, TARSKI. Revised Papers [Elektronische Ressource]

Logics in Artificial Intelligence : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings [Elektronische Ressource]

Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings [Elektronische Ressource]

Logical Foundations of Computer Science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings [Elektronische Ressource]

Logic, Language, Information and Computation : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings [Elektronische Ressource]

Aktive Filter

Suchergebnisse filtern