Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "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
Showing
141
-
160
of
4,736
Search:
'"Foundations"'
,
query time: 0.02s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
141
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
142
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
143
Logic Year 1979-80 : The University of Connecticut, USA
Published 1981
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
144
Cabal Seminar 79-81 : Proceedings. Caltech-UCLA Logic Seminar 1979-81
Published 1983
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
145
The Homology of Iterated Loop Spaces
by
Cohen, F. R.
,
Lada, T. J.
,
May, P. J.
Published 1976
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
146
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
147
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
148
Techniques of Admissible Recursion Theory
by
Chong, C. T.
Published 1984
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
149
Cabal Seminar 77 – 79 : Proceedings, Caltech-UCLA Logic Seminar 1977 – 79
Published 1981
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
150
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Published 1973
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
151
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
152
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
153
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
154
Infinitary Logic : In Memoriam Carol Karp
Published 1975
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
155
ISILC - Proof Theory Symposion : Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Published 1975
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
156
ISILC - Logic Conference : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Published 1975
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
157
Recursion on the Countable Functionals
by
Normann, D.
Published 1980
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
158
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
159
Theory of Sets
by
Bourbaki, N.
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
Read Now
160
Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsist...
Published 1984
Springer Berlin Heidelberg
Subjects:
“
...Mathematical Logic and
Foundations
...
”
3
4
5
6
7
8
9
10
11
12
13
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
1,221
004 - Data processing & computer science
949
511 - General principles of mathematics
509
006 - Special computer methods
349
530 - Physics
273
624 - Civil engineering
190
more ...
501 - Philosophy & theory
128
160 - Logic
108
510 - Mathematics
100
620 - Engineering & allied operations
81
000 - Computer science, information & general works
73
520 - Astronomy & allied sciences
72
340 - Law
58
900 - History & geography
58
512 - Algebra
57
500 - Natural sciences & mathematics
53
330 - Economics
49
518 - Numerical analysis
49
600 - Technology
49
621 - Applied physics
46
700 - The arts; fine & decorative arts
46
551 - Geology, hydrology & meteorology
45
333 - Economics of land & energy
43
331 - Labor economics
42
515 - Analysis
36
363 - Other social problems & services
34
658 - General management
33
320 - Political science
29
519 - Probabilities & applied mathematics
23
003 - Systems
21
509 - Historical, geographic & persons treatment
21
531 - Classical mechanics; solid mechanics
19
120 - Epistemology, causation & humankind
17
300 - Social sciences
14
380 - Commerce, communications & transportation
14
523 - Specific celestial bodies & phenomena
14
670 - Manufacturing
14
539 - Modern physics
13
540 - Chemistry & allied sciences
13
690 - Buildings
13
745 - Decorative arts
13
100 - Philosophy & psychology
12
516 - Geometry
11
576 - Genetics & evolution
11
370 - Education
10
514 - Topology
10
610 - Medicine & health
10
628 - Sanitary & municipal engineering
9
302 - Social interaction
8
541 - Physical chemistry
8
580 - Plants (Botany)
8
140 - Specific philosophical schools
7
400 - Language
7
550 - Earth sciences
7
570 - Life sciences; biology
7
662 - Explosives, fuels & related products
7
384 - Communications; telecommunication
6
660 - Chemical engineering
6
260 - Social & ecclesiastical theology
5
338 - Production
5
371 - Schools & their activities; special education
5
526 - Mathematical geography
5
535 - Light & infrared & ultraviolet phenomena
5
537 - Electricity & electronics
5
629 - Other branches of engineering
5
001 - Knowledge
4
158 - Applied psychology
4
170 - Ethics
4
280 - Christian denominations & sects
4
410 - Linguistics
4
577 - Ecology
4
691 - Building materials
4
800 - Literature & rhetoric
4
025 - Library operations
3
113 - Cosmology
3
128 - Humankind
3
200 - Religion
3
301 - Sociology & anthropology
3
304 - Factors affecting social behavior
3
343 - Military, tax, trade & industrial law
3
361 - Social problems & social welfare in general
3
362 - Social welfare problems & services
3
414 - Phonology & phonetics
3
507 - Education, research & related topics
3
513 - Arithmetic
3
536 - Heat
3
650 - Management & auxiliary services
3
693 - Specific materials & purposes
3
720 - Architecture
3
808 - Rhetoric & collections of literature
3
011 - Bibliographies
2
109 - Historical & collected persons treatment
2
150 - Psychology
2
190 - Modern western philosophy
2
230 - Christianity & Christian theology
2
332 - Financial economics
2
346 - Private law
2
401 - Philosophy & theory
2
532 - Fluid mechanics; liquid mechanics
2
533 - Gas mechanics
2
see all ...
less ...
Language
English
4,244
German
429
Italian
14
Chinese
3
Finnish
1
French
1
more ...
Polish
1
Portuguese
1
Spanish
1
Undetermined
1
see all ...
less ...
Collection
Springer eBooks 2005-
2,637
Springer Book Archives -2004
1,689
O'Reilly
165
Directory of Open Access Books
88
Eighteenth Century Collections Online / ECCO
31
Making of Modern Law / Legal Treatises
31
more ...
Lecture Notes in Computer Science
29
Making of the Modern World
19
OAPEN
11
Cambridge Books Online
6
ACS Symposium Series
5
Elsevier eBook collection Mathematics
4
Lecture Notes in Mathematics
4
Oxford University Press
4
DeGruyter MPG Collection
3
World Bank E-Library Archive
3
JSTOR Open Access Books
2
ACS Advances in Chemistry
1
Emerald Business, Management and Economics eBook Collection Archive
1
International Monetary Fund
1
Mohr Siebeck eBooks
1
wiso-net eBooks
1
see all ...
less ...
Author
Rozenberg, Grzegorz
33
Voronkov, Andrei
28
Gabbay, Dov M.
22
Ehrig, Hartmut
19
Steffen, Bernhard
19
Margaria, Tiziana
18
more ...
Nerode, Anil
16
Broy, Manfred
15
Liu, Zhiming
14
Potapov, Igor
13
Bonsangue, Marcello M.
12
Bowen, Jonathan P.
12
Wirsing, Martin
12
Bernardo, Marco
11
Bjørner, Dines
11
Graf, Susanne
11
Ölveczky, Peter Csaba
11
Nipkow, Tobias
10
Rossi, Francesca
10
Salomaa, Arto
10
Börger, Egon
9
Ebbinghaus, Heinz-Dieter
9
Kolymbas, Dimitrios
9
Koutny, Maciej
9
Zimmermann, Hans-Jürgen
9
Beckert, Bernhard
8
Cerone, Antonio
8
Dastani, Mehdi
8
Gorrieri, Roberto
8
Gottlob, Georg
8
Hanus, Michael
8
Hähnle, Reiner
8
Kahle, Reinhard
8
Legay, Axel
8
Leitsch, Alexander
8
Liu, Shaoying
8
Meyer, Bertrand
8
Montanari, Ugo
8
Mundici, Daniele
8
Olderog, Ernst-Rüdiger
8
Reed, Rick
8
Sassa, Kyoji
8
SpringerLink (Online service)
8
Wansing, Heinrich
8
de Boer, Frank S.
8
Canuti, Paolo
7
Crnkovic, Ivica
7
Gibbons, Jeremy
7
Havelund, Klaus
7
Johnsen, Einar Broch
7
Katoen, Joost-Pieter
7
Kleine Büning, Hans
7
Li, Wei
7
Löwe, Benedikt
7
Majumdar, Rupak
7
Margottini, Claudio
7
Martín-Vide, Carlos
7
Möller, Bernhard
7
Orchiston, Wayne
7
Orejas, Fernando
7
Priese, Lutz
7
Thomas, Wolfgang
7
van Benthem, Johan
7
Aguirre, Anthony
6
Apt, Krzysztof R.
6
Arbab, Farhad
6
Artemov, Sergei
6
Artho, Cyrille
6
Barthe, Gilles
6
Beyer, Dirk
6
Bitsch, Friedemann
6
Butler, Michael
6
Diaz, Josep
6
Dowek, Gilles
6
Duan, Zhenhua
6
Flum, Jörg
6
Giesecke, Jürgen
6
Givant, Steven
6
Gnesi, Stefania
6
Henzinger, Thomas A.
6
Hermanns, Holger
6
Hermenegildo, Manuel
6
Hilbert, David
6
Huisman, Marieke
6
Kroening, Daniel
6
Larsen, Kim G.
6
Levi, Giorgio
6
Merali, Zeeya
6
Meseguer, José
6
Nivat, Maurice
6
Ong, Luke
6
Palamidessi, Catuscia
6
Palsberg, Jens
6
Peled, Doron A.
6
Rensink, Arend
6
Richter, Michael M.
6
Roggenbach, Markus
6
Schewe, Klaus-Dieter
6
Schindler, Werner
6
Schindler-Tschirner, Susanne
6
see all ...
less ...
Recently Uploaded
Last Month
9
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=8&lookfor=%22Foundations%22&type=Subject
Send by Email
×
Loading...