Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Mathematics / Logic"
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
1
-
20
of
1,755
Search:
'"Mathematics / Logic"'
,
query time: 0.40s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
The Nature of Physical Computation
by
Shagrir, Oron
Published 2022
Oxford University Press
Subjects:
“
...Metaphysics; Philosophy of
Mathematics
&
Logic
; Philosophy of Computational Science; Philosophy...
”
Read Now
2
Sheaf theory through examples
by
Rosiak, Daniel
Published 2022
The MIT Press
Subjects:
“
...
MATHEMATICS
/
Logic
...
”
Call Number:
QA612.36
Read Now
3
Grenzen der Mathematik : Eine Reise durch die Kerngebiete der mathematischen Logik
by
Hoffmann, Dirk W.
Published 2013
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and Formal Languages...
”
Read Now
4
Grenzen der Mathematik : Eine Reise durch die Kerngebiete der mathematischen Logik
by
Hoffmann, Dirk W.
Published 2011
Spektrum Akademischer Verlag
Subjects:
“
...
Mathematical
Logic
and Formal Languages...
”
Read Now
5
Algebra für Informatiker
by
Kaiser, H.
,
Mlitz, R.
,
Zeilinger, G.
Published 1985
Springer Vienna
Subjects:
“
...
Mathematical
Logic
and Formal Languages...
”
Read Now
6
Grenzen der Mathematik : Eine Reise durch die Kerngebiete der mathematischen Logik
by
Hoffmann, Dirk W.
Published 2018
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and Formal Languages...
”
Read Now
7
Logica: Metodo Breve
by
Mundici, Daniele
Published 2011
Springer Milan
Subjects:
“
...
Mathematical
Logic
and Formal Languages...
”
Read Now
8
Feferman on Foundations : Logic, Mathematics, Philosophy
Published 2017
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and Formal Languages...
”
Read Now
9
Formal Methods Teaching : 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
Published 2021
Springer International Publishing
Subjects:
“
...
Mathematical
logic
...
”
Read Now
10
Logical Foundations of Computer Science : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings
Published 2022
Springer International Publishing
Subjects:
“
...
Mathematical
logic
...
”
Read Now
11
Incompleteness for Higher-Order Arithmetic : An Example Based on Harrington’s Principle
by
Cheng, Yong
Published 2019
Springer Nature Singapore
Subjects:
“
...
Mathematical
logic
...
”
Read Now
12
Mathematik und Logik
by
Behmann, Heinrich
Published 1927
Vieweg+Teubner Verlag
Subjects:
“
...
Mathematical
logic
...
”
Read Now
13
Metalogic : An Introduction to the Metatheory of Standard First Order Logic
by
Hunter, Geoffrey
Published 1971
Macmillan Education UK
Subjects:
“
...
Mathematical
logic
...
”
Read Now
14
A Boolean Algebra : Abstract and Concrete
by
Bowran, A.P.
Published 1965
Macmillan Education UK
Subjects:
“
...
Mathematical
logic
...
”
Read Now
15
Combinatorial Set Theory : With a Gentle Introduction to Forcing
by
Halbeisen, Lorenz J.
Published 2012
Springer London
Subjects:
“
...
Mathematical
logic
...
”
Read Now
16
Théorie des ensembles
by
Bourbaki, N.
Published 2006
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
logic
...
”
Read Now
17
Recursion Theory and Computational Complexity : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, Jun...
Published 2011
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
logic
...
”
Read Now
18
Aspects of Mathematical Logic : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968
Published 2011
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
logic
...
”
Read Now
19
Model Theory and Applications : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 20-28, 1975
Published 2011
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
logic
...
”
Read Now
20
Die Gödel'schen Unvollständigkeitssätze : Eine geführte Reise durch Kurt Gödels historischen Beweis
by
Hoffmann, Dirk W.
Published 2013
Spektrum Akademischer Verlag
Subjects:
“
...
Mathematical
logic
...
”
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
567
004 - Data processing & computer science
418
005 - Computer programming, programs & data
144
160 - Logic
113
006 - Special computer methods
102
040 - [Unassigned]
91
more ...
510 - Mathematics
85
512 - Algebra
50
515 - Analysis
33
501 - Philosophy & theory
32
530 - Physics
13
519 - Probabilities & applied mathematics
12
514 - Topology
11
658 - General management
11
003 - Systems
10
120 - Epistemology, causation & humankind
10
516 - Geometry
10
620 - Engineering & allied operations
8
100 - Philosophy & psychology
6
518 - Numerical analysis
6
621 - Applied physics
6
025 - Library operations
4
500 - Natural sciences & mathematics
4
330 - Economics
3
570 - Life sciences; biology
3
629 - Other branches of engineering
3
541 - Physical chemistry
2
900 - History & geography
2
000 - Computer science, information & general works
1
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
303 - Social processes
1
331 - Labor economics
1
370 - Education
1
400 - Language
1
401 - Philosophy & theory
1
517 - [Unassigned]
1
520 - Astronomy & allied sciences
1
551 - Geology, hydrology & meteorology
1
576 - Genetics & evolution
1
600 - Technology
1
616 - Diseases
1
650 - Management & auxiliary services
1
670 - Manufacturing
1
910 - Geography & travel
1
see all ...
less ...
Language
English
1,235
German
134
Italian
7
French
1
Collection
Springer Book Archives -2004
752
Springer eBooks 2005-
548
Lecture Notes in Computer Science
373
Elsevier eBook collection Mathematics
56
DeGruyter MPG Collection
5
O'Reilly
5
more ...
Lecture Notes in Mathematics
4
Cambridge Books Online
3
Directory of Open Access Books
3
Oxford University Press
3
Emerald Business, Management and Economics eBook Collection Archive
1
JSTOR Open Access Books
1
MIT Press eBook Archive
1
see all ...
less ...
Author
Gabbay, Dov M.
23
Rozenberg, Grzegorz
18
Nerode, Anil
14
Ebbinghaus, Heinz-Dieter
9
Salomaa, Arto
9
Voronkov, Andrei
9
more ...
Zimmermann, Hans-Jürgen
9
Kahle, Reinhard
8
Leitsch, Alexander
8
Mundici, Daniele
8
Wansing, Heinrich
8
Börger, Egon
7
Li, Wei
7
Priese, Lutz
7
Ehrig, Hartmut
6
Flum, Jörg
6
Givant, Steven
6
Hilbert, David
6
Löwe, Benedikt
6
Nipkow, Tobias
6
Paun, Gheorghe
6
Schindler, Werner
6
Schindler-Tschirner, Susanne
6
Schlechta, Karl
6
Skowron, Andrzej
6
van Benthem, Johan
6
Artemov, Sergei
5
Berghammer, Rudolf
5
Bewersdorff, Jörg
5
Dubois, Didier
5
Gottlob, Georg
5
Hoffmann, Dirk W.
5
Höhle, Ulrich
5
Kleine Büning, Hans
5
Klement, Erich Peter
5
Meinke, Karl
5
Rautenberg, Wolfgang
5
Sacks, Gerald E.
5
Smets, Philippe
5
Sui, Yuefei
5
Thomas, Wolfgang
5
Wallis, W.D.
5
Wirsing, Martin
5
Ackermann, Wilhelm
4
Aguirre, Anthony
4
Baaz, Matthias
4
Beziau, Jean-Yves
4
Bibel, Wolfgang
4
Bowen, Jonathan P
4
Béziau, Jean-Yves
4
Dalen, Dirk van
4
Dalla Chiara, Maria Luisa
4
Diaz, Josep
4
Dybjer, Peter
4
Erk, Katrin
4
Fried, Michael D.
4
Gelbukh, Alexander
4
Guenthner, Franz
4
Jarden, Moshe
4
Kanamori, Akihiro
4
Klir, George J.
4
Kusraev, A.G.
4
Kutateladze, Semën Samsonovich
4
Lau, Kung-Kiu
4
Malinowski, Jacek
4
Merali, Zeeya
4
Möller, Bernhard
4
Pacholski, Leszek
4
Pedrycz, Witold
4
Richter, Michael M.
4
Rusinowitch, Michael
4
Schroeder-Heister, Peter
4
Soifer, Alexander
4
Sommaruga, Giovanni
4
SpringerLink (Online service)
4
Stegmüller, Wolfgang
4
Wang, Dongming
4
Wood, Derick
4
van Dalen, Dirk
4
von Plato, Jan
4
Abramsky, Samson
3
Andreescu, Titu
3
Andréka, Hajnal
3
Balcazar, Jose L.
3
Barwise, Jon
3
Basin, David
3
Baumgartner, Peter
3
Bert, Didier
3
Blackburn, Patrick
3
Brattka, Vasco
3
Bruynooghe, Maurice
3
Buchberger, Bruno
3
Calude, Cristian S.
3
Carnielli, Walter
3
Champarnaud, Jean-Marc
3
Comon, Hubert
3
Corbett, Dan
3
Cortadella, Jordi
3
Dalen, D. van
3
Dix, Jürgen
3
see all ...
less ...
Recently Uploaded
Last Month
5
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=%22Mathematics+%2F+Logic%22&type=Subject
Send by Email
×
Loading...