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,041
-
1,060
of
1,265
Search:
'"mathematical logic and foundations"'
,
query time: 0.45s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1041
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
1042
Practical Foundations of Business System Specifications
Published 2003
Springer Netherlands
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1043
Mathematik für Software Engineering
by
Dreiseitl, Stephan
Published 2018
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1044
Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
by
Gottlob, Georg
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1045
Ernst Zermelo - Collected Works/Gesammelte Werke : Volume I/Band I - Set Theory, Miscellanea/Mengenlehre, Varia
by
Zermelo, Ernst
Published 2010
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1046
Formal Concept Analysis : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
Published 2009
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1047
R-Calculus, IV: Propositional Logic
by
Li, Wei
,
Sui, Yuefei
Published 2023
Springer Nature Singapore
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1048
Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
by
Löh, Clara
Published 2022
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1049
R-Calculus, III: Post Three-Valued Logic
by
Li, Wei
,
Sui, Yuefei
Published 2022
Springer Nature Singapore
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1050
Isabelle : A Generic Theorem Prover
by
Paulson, Lawrence C.
Published 1994
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1051
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
1052
Springer Handbook of Model-Based Science
Published 2017
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1053
Text Retrieval and Filtering : Analytic Models of Performance
by
Losee, Robert M.
Published 1998
Springer US
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1054
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
1055
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
1056
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
1057
Quantifier Elimination and Cylindrical Algebraic Decomposition
Published 1998
Springer Vienna
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1058
Fuzzy Logic : State of the Art
Published 1993
Springer Netherlands
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1059
Fuzzy Logic and its Applications to Engineering, Information Sciences, and Intelligent Systems
Published 1995
Springer Netherlands
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
1060
Where Mathematics, Computer Science, Linguistics and Biology Meet : Essays in honour of Gheorghe Păun
Published 2001
Springer Netherlands
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
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=53&lookfor=%22mathematical+logic+and+foundations%22&type=Subject
Send by Email
×
Loading...