Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: (("mathematics logic and foundations") OR ("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
Showing
1,001
-
1,020
of
1,273
Search:
'(("mathematics logic and foundations") OR ("mathematical logic and foundations"))'
,
query time: 0.71s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1001
Objects, Structures, and Logics : FilMat Studies in the Philosophy of Mathematics
Published 2022
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1002
R-Calculus, II: Many-Valued Logics
by
Li, Wei
,
Sui, Yuefei
Published 2022
Springer Nature Singapore
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1003
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
1004
Fuzzy Mathematical Programming : Methods and Applications
by
Lai, Young-Jou
,
Hwang, Ching-Lai
Published 1992
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1005
Computer Science Logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
Published 1993
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1006
Fundamentals of Computation Theory : International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings
Published 1987
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1007
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
1008
Computer Aided Verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Published 1993
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1009
Application and Theory of Petri Nets 1995 : 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1010
Mathematical Foundations of Computer Science 1999 : 24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings
Published 1999
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1011
Mathematical Foundations of Programming Semantics : 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings
Published 1994
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1012
Kurt Gödel : The Genius of Metamathematics
by
Brewer, William D.
Published 2022
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1013
Application and Theory of Petri Nets 1996 : 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings
Published 1996
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1014
Kurt Gödel : Metamathematisches Genie
by
Brewer, William D.
Published 2024
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1015
Theory and Applications of Satisfiability Testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Published 2005
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1016
The Pillars of Computation Theory : State, Encoding, Nondeterminism
by
Rosenberg, Arnold L.
Published 2010
Springer New York
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1017
Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings
by
Abramsky, Samson
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1018
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
1019
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
...
”
Read Now
1020
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
...
”
46
47
48
49
50
51
52
53
54
55
56
Back
Narrow Search
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
501
004 - Data processing & computer science
171
160 - Logic
107
005 - Computer programming, programs & data
101
006 - Special computer methods
93
510 - Mathematics
72
more ...
512 - Algebra
47
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
410 - Linguistics
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,109
German
123
Italian
7
French
1
Collection
Springer Book Archives -2004
721
Springer eBooks 2005-
518
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
10
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
Flum, Jörg
6
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
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
Brattka, Vasco
4
Dalla Chiara, Maria Luisa
4
Diaz, Josep
4
Dubois, Didier
4
Dybjer, Peter
4
Ehrig, Hartmut
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
Béziau, Jean-Yves
3
Carnielli, Walter
3
Dalen, Dirk van
3
Felgner, Ulrich
3
Foster, Brendan
3
Gabarro, Joaquim
3
Golan, Jonathan S.
3
Hertling, Peter
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
see all ...
less ...
Recently Uploaded
Last Month
8
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=51&lookfor=%28%28%22mathematics+logic+and+foundations%22%29+OR+%28%22mathematical+logic+and+foundations%22%29%29&type=Subject
Send by Email
×
Loading...