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
41
-
60
of
1,276
Search:
'"Mathematical Logic And Foundations"'
,
query time: 0.32s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
41
Symposium on Automatic Demonstration : Held at Versailles/France, Decembre 1968
Published 1970
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
42
Model Theory and Arithmetic : Comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'Arithmetique, Paris, France, 1979/80
Published 1981
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
43
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
by
Buchholz, W.
,
Feferman, S.
,
Pohlers, W.
,
Sieg, W.
Published 1981
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
44
Logic Year 1979-80 : The University of Connecticut, USA
Published 1981
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
45
Cabal Seminar 79-81 : Proceedings. Caltech-UCLA Logic Seminar 1979-81
Published 1983
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
46
Set Theory and Model Theory : Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979
Published 1981
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
47
Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980
Published 1981
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
48
Cylindric Set Algebras
by
Henkin, L.
,
Monk, J. D.
,
Tarski, A.
,
Andreka, H.
Published 1981
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
49
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 1: Models and Sets
Published 1984
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
50
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2: Computation and Proof Theory
Published 1984
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
51
Techniques of Admissible Recursion Theory
by
Chong, C. T.
Published 1984
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
52
Methods in Mathematical Logic : Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983
Published 1985
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
53
Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
Published 1985
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
54
Nonstandard Analysis - Recent Developments
Published 1983
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
55
Around Classification Theory of Models
by
Shelah, Saharon
Published 1986
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
56
The Enumerative Theory of Conics after Halphen
by
Casas-Alvero, Eduardo
,
Xambo-Descamps, Sebastian
Published 1986
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
57
Decidable Theories : Vol. 2: The Monadic Second Order Theory of All Countable Ordinals
by
Büchi, J.R.
,
Siefkes, D.
Published 1973
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
58
Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989
Published 1990
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
59
Theory of Sets
by
Bourbaki, N.
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
60
Metamathematik der Elementarmathematik
by
Engeler, E.
Published 1983
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
503
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
146 - Naturalism & related systems
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,112
German
123
Italian
7
French
1
Collection
Springer Book Archives -2004
721
Springer eBooks 2005-
521
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
Hoffmann, Dirk W.
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
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
3
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=3&lookfor=%22Mathematical+Logic+And+Foundations%22&type=Subject
Send by Email
×
Loading...