Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "mathematical logic and foundations"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Search alternatives
:
"mathematical logic and foundations" »
"mathematics logic and foundations"
Showing
981
-
1,000
of
1,265
Search:
'"mathematical logic and foundations"'
,
query time: 0.85s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
981
Fuzzy Sets in Approximate Reasoning and Information Systems
Published 1999
Springer US
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
982
Reasoning and Unification over Conceptual Graphs
by
Corbett, Dan
Published 2003
Springer US
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
983
Sparsity : Graphs, Structures, and Algorithms
by
Nešetřil, Jaroslav
,
Ossona de Mendez, Patrice
Published 2012
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
984
Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
985
Algebraic Foundations of Many-Valued Reasoning
by
Cignoli, R.L.
,
d'Ottaviano, Itala M.
,
Mundici, Daniele
Published 2000
Springer Netherlands
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
986
Algebras and Orders
Published 1993
Springer Netherlands
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
987
Theoretische Informatik : Petri-Netze
by
Priese, Lutz
,
Wimmel, Harro
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
988
Theoretische Informatik : Eine umfassende Einführung
by
Erk, Katrin
,
Priese, Lutz
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
989
Developments in Language Theory : 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers
Published 2002
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
990
R-Calculus, II: Many-Valued Logics
by
Li, Wei
,
Sui, Yuefei
Published 2022
Springer Nature Singapore
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
991
Dynamic Logic. New Trends and Applications : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers
Published 2024
Springer Nature Switzerland
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
992
Computer Science Logic : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings
by
Fribourg, Laurent
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
993
Computer Science Logic : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings
by
Bradfield, Julian
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
994
Computer Science Logic : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings
by
Gottlob, Georg
Published 1999
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
995
Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
by
Gunter, Elsa L
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
996
Computer Science Logic : 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings
by
Clote, Peter G
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
997
Computer Science Logic : 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings
by
Flum, Jörg
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
998
Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
by
McAllester, David
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
999
Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, P...
by
Baaz, Matthias
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1000
Computer Science Logic : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers
by
Nielsen, Mogens
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
45
46
47
48
49
50
51
52
53
54
55
Back
Narrow Search
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
500
004 - Data processing & computer science
124
160 - Logic
106
005 - Computer programming, programs & data
101
006 - Special computer methods
92
510 - Mathematics
72
more ...
512 - Algebra
47
040 - [Unassigned]
42
501 - Philosophy & theory
32
515 - Analysis
32
530 - Physics
12
658 - General management
11
120 - Epistemology, causation & humankind
10
514 - Topology
10
516 - Geometry
10
519 - Probabilities & applied mathematics
10
003 - Systems
9
620 - Engineering & allied operations
7
518 - Numerical analysis
6
621 - Applied physics
6
100 - Philosophy & psychology
4
330 - Economics
4
570 - Life sciences; biology
3
025 - Library operations
2
541 - Physical chemistry
2
629 - Other branches of engineering
2
900 - History & geography
2
001 - Knowledge
1
109 - Historical & collected persons treatment
1
128 - Humankind
1
142 - Critical philosophy
1
149 - Other philosophical systems
1
150 - Psychology
1
170 - Ethics
1
301 - Sociology & anthropology
1
370 - Education
1
401 - Philosophy & theory
1
500 - Natural sciences & mathematics
1
520 - Astronomy & allied sciences
1
551 - Geology, hydrology & meteorology
1
576 - Genetics & evolution
1
616 - Diseases
1
650 - Management & auxiliary services
1
670 - Manufacturing
1
910 - Geography & travel
1
see all ...
less ...
Language
English
1,101
German
123
Italian
7
French
1
Collection
Springer Book Archives -2004
716
Springer eBooks 2005-
515
Lecture Notes in Computer Science
29
Lecture Notes in Mathematics
4
Directory of Open Access Books
1
Author
Gabbay, Dov M.
20
Nerode, Anil
13
Rozenberg, Grzegorz
9
Zimmermann, Hans-Jürgen
9
Ebbinghaus, Heinz-Dieter
8
Kahle, Reinhard
8
more ...
Leitsch, Alexander
8
Mundici, Daniele
8
Wansing, Heinrich
8
Li, Wei
7
Priese, Lutz
7
Givant, Steven
6
Hilbert, David
6
Löwe, Benedikt
6
Schindler, Werner
6
Schindler-Tschirner, Susanne
6
van Benthem, Johan
6
Artemov, Sergei
5
Berghammer, Rudolf
5
Bewersdorff, Jörg
5
Börger, Egon
5
Flum, Jörg
5
Gottlob, Georg
5
Hoffmann, Dirk W.
5
Kleine Büning, Hans
5
Klement, Erich Peter
5
Nipkow, Tobias
5
Rautenberg, Wolfgang
5
Schlechta, Karl
5
Smets, Philippe
5
Sui, Yuefei
5
Wallis, W.D.
5
Ackermann, Wilhelm
4
Aguirre, Anthony
4
Beziau, Jean-Yves
4
Bibel, Wolfgang
4
Dalla Chiara, Maria Luisa
4
Diaz, Josep
4
Dubois, Didier
4
Dybjer, Peter
4
Erk, Katrin
4
Fried, Michael D.
4
Guenthner, Franz
4
Höhle, Ulrich
4
Jarden, Moshe
4
Kanamori, Akihiro
4
Klir, George J.
4
Kusraev, A.G.
4
Kutateladze, Semën Samsonovich
4
Malinowski, Jacek
4
Merali, Zeeya
4
Pedrycz, Witold
4
Richter, Michael M.
4
Salomaa, Arto
4
Schroeder-Heister, Peter
4
Soifer, Alexander
4
Sommaruga, Giovanni
4
Stegmüller, Wolfgang
4
Thomas, Wolfgang
4
Voronkov, Andrei
4
van Dalen, Dirk
4
von Plato, Jan
4
Abramsky, Samson
3
Andreescu, Titu
3
Andréka, Hajnal
3
Baaz, Matthias
3
Balcazar, Jose L.
3
Baumgartner, Peter
3
Brattka, Vasco
3
Béziau, Jean-Yves
3
Carnielli, Walter
3
Dalen, Dirk van
3
Ehrig, Hartmut
3
Felgner, Ulrich
3
Foster, Brendan
3
Gabarro, Joaquim
3
Golan, Jonathan S.
3
Hwang, Ching-Lai
3
Jantke, Klaus P.
3
Jäger, Gerhard
3
Kacprzyk, J.
3
Kai-Yuan Cai
3
Kechris, Alexander
3
Lindström, Sten
3
Little, John
3
Manin, Yu. I.
3
McGuinness, B.F.
3
Meinke, Karl
3
Müller, G.H.
3
Müller, Gert H.
3
Nesetril, Jaroslav
3
Nordström, Bengt
3
Pacholski, Leszek
3
Piecha, Thomas
3
Prade, Henri
3
Prestel, A.
3
Reisig, Wolfgang
3
Rodabaugh, S.E.
3
Rosolini, Giuseppe
3
Rota, Gian-Carlo
3
see all ...
less ...
Recently Uploaded
Last Month
3
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=50&lookfor=%22mathematical+logic+and+foundations%22&type=Subject
Send by Email
×
Loading...