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
1,021
-
1,040
of
1,265
Search:
'"mathematical logic and foundations"'
,
query time: 0.89s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1021
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
1022
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
1023
Kurt Gödel : Metamathematisches Genie
by
Brewer, William D.
Published 2024
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1024
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
1025
Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1026
The Pillars of Computation Theory : State, Encoding, Nondeterminism
by
Rosenberg, Arnold L.
Published 2010
Springer New York
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1027
Fuzzy Set Theory and Advanced Mathematical Applications
Published 1995
Springer US
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1028
Constraint-Programmierung : Grundlagen und Anwendungen
by
Frühwirth, Thom
,
Abdennadher, Slim
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1029
Word Equations and Related Topics : 1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings
Published 1992
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1030
Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
Published 1994
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1031
Ordered Algebraic Structures : Proceedings of the Curaçao Conference, sponsored by the Caribbean Mathematics Foundation, June 26–30, 1995
Published 1997
Springer Netherlands
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1032
Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions
by
Bertot, Yves
,
Castéran, Pierre
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1033
Formal Descriptions of Developing Systems
Published 2003
Springer Netherlands
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1034
What is Fundamental?
Published 2019
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1035
Combinatorics, Computability and Logic : Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01)
Published 2001
Springer London
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1036
Introduction to Languages, Machines and Logic : Computable Languages, Abstract Machines and Formal Logic
by
Parkes, Alan P.
Published 2002
Springer London
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1037
Tools for Teaching Logic : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings
Published 2011
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1038
Recent Trends in Algebraic Development Techniques : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Published 2012
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1039
Soft Computing : Integrating Evolutionary, Neural, and Fuzzy Systems
by
Tettamanzi, Andrea
,
Tomassini, Marco
Published 2001
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1040
Introduction to Neuro-Fuzzy Systems
by
Fuller, Robert
Published 2000
Physica-Verlag HD
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
47
48
49
50
51
52
53
54
55
56
57
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=52&lookfor=%22mathematical+logic+and+foundations%22&type=Subject
Send by Email
×
Loading...