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 »
mathematics
Showing
1,041
-
1,060
of
1,268
Search:
'"Mathematical Logic And Foundations"'
,
query time: 0.62s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1041
Springer Handbook of Model-Based Science
Published 2017
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1042
Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings
Published 1993
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1043
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
1044
TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 : Volume 1: Advanced Seminar on F...
Published 1989
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1045
Ernst Zermelo - Collected Works/Gesammelte Werke II : Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Phy...
by
Zermelo, Ernst
Published 2013
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1046
Scientific Philosophy
by
Romero, Gustavo E.
Published 2018
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1047
Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Published 2001
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1048
Practical Foundations of Business System Specifications
Published 2003
Springer Netherlands
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1049
Adapting Proofs-as-Programs : The Curry--Howard Protocol
by
Poernomo, Iman
,
Crossley, John N.
,
Wirsing, Martin
Published 2005
Springer New York
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1050
Logic Programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, Se...
Published 1992
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1051
Isabelle : A Generic Theorem Prover
by
Paulson, Lawrence C.
Published 1994
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1052
Theory Reasoning in Connection Calculi
by
Baumgartner, Peter
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1053
Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1054
Introduction to Neuro-Fuzzy Systems
by
Fuller, Robert
Published 2000
Physica-Verlag HD
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1055
Uncertainty-Based Information : Elements of Generalized Information Theory
by
Klir, George J.
,
Wierman, Mark J.
Published 1999
Physica
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1056
Knowledge Discovery and Data Mining : The Info-Fuzzy Network (IFN) Methodology
by
Maimon, O.
,
Last, M.
Published 2001
Springer US
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1057
Fuzzy Relational Systems : Foundations and Principles
by
Belohlávek, Radim
Published 2002
Springer US
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1058
Generalized Concavity in Fuzzy Optimization and Decision Analysis
by
Ramík, Jaroslav
,
Vlach, Milan
Published 2002
Springer US
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1059
Discrete Thoughts : ESSAYS ON MATHEMATICS, Science, and Philosophy
by
KAC.
,
ROTA.
,
SCHWARTZ.
Published 1986
Birkhäuser Boston
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1060
Text Retrieval and Filtering : Analytic Models of Performance
by
Losee, Robert M.
Published 1998
Springer US
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
48
49
50
51
52
53
54
55
56
57
58
Back
Narrow Search
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
499
004 - Data processing & computer science
164
160 - Logic
106
005 - Computer programming, programs & data
101
006 - Special computer methods
91
510 - Mathematics
73
more ...
512 - Algebra
47
515 - Analysis
32
501 - Philosophy & theory
30
530 - Physics
13
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
8
040 - [Unassigned]
7
518 - Numerical analysis
6
621 - Applied physics
6
100 - Philosophy & psychology
4
330 - Economics
4
025 - Library operations
2
520 - Astronomy & allied sciences
2
541 - Physical chemistry
2
570 - Life sciences; biology
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
551 - Geology, hydrology & meteorology
1
576 - Genetics & evolution
1
616 - Diseases
1
650 - Management & auxiliary services
1
910 - Geography & travel
1
see all ...
less ...
Language
English
1,104
German
123
Italian
7
French
1
Collection
Springer Book Archives -2004
721
Springer eBooks 2005-
513
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
14
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=53&lookfor=%22Mathematical+Logic+And+Foundations%22&type=Subject
Send by Email
×
Loading...