Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "mathematics 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
:
"mathematics logic and foundations" »
"mathematical logic and foundations"
Showing
1,161
-
1,180
of
1,265
Search:
'"mathematics logic and foundations"'
,
query time: 0.39s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1161
Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
by
Nipkow, Tobias
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1162
Number Theory : An Introduction via the Distribution of Primes
by
Fine, Benjamin
,
Rosenberger, Gerhard
Published 2007
Birkhäuser
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1163
Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Published 2015
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1164
Programmverifikation : Sequentielle, parallele und verteilte Programme
by
Apt, Krzysztof R.
,
Olderog, Ernst-Rüdiger
Published 1994
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1165
The Generic Development Language Deva : Presentation and Case Studies
by
Weber, Matthias
,
Simons, Martin
,
Lafontaine, Christine
Published 1993
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1166
Automated Deduction in Equational Logic and Cubic Curves
by
McCune, William
,
Padmanabhan, R.
Published 1996
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1167
Collegium Logicum
Published 1996
Springer Vienna
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1168
Fuzziness in Database Management Systems
Published 1995
Physica
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1169
The Theory of Classes of Groups
by
Guo Wenbin
Published 2000
Springer Netherlands
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1170
Algorithms in Invariant Theory
by
Sturmfels, Bernd
Published 1993
Springer Vienna
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1171
Logic for Applications
by
Nerode, Anil
,
Shore, Richard A.
Published 1997
Springer New York
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1172
Solving Higher-Order Equations : From Logic to Programming
by
Prehofer, Christian
Published 1998
Birkhäuser
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1173
Fuzzy Logic Foundations and Industrial Applications
Published 1996
Springer US
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1174
Soft Computing for Knowledge Discovery : Introducing Cartesian Granule Features
by
Shanahan, James G.
Published 2000
Springer US
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1175
Automated Practical Reasoning : Algebraic Approaches
Published 1995
Springer Vienna
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1176
Rewriting and Typed Lambda Calculi : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Pr...
Published 2014
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1177
Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
Published 2017
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1178
Logic Functions and Equations : Binary Models for Computer Science
by
Posthoff, Christian
,
Steinbach, Bernd
Published 2019
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1179
Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Published 2015
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1180
Automata Implementation : 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers
Published 2001
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
54
55
56
57
58
59
60
61
62
63
64
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=59&lookfor=%22mathematics+logic+and+foundations%22&type=Subject
Send by Email
×
Loading...