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
Retain my current filters
dewey-ones:"004 - Data processing & computer science"
Search alternatives
:
"mathematical logic and foundations" »
"mathematics logic and foundations"
Showing
1
-
20
of
124
Search:
'"mathematical logic and foundations"'
,
query time: 2.22s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Structural Complexity I
by
Balcazar, Jose L.
,
Diaz, Josep
,
Gabarro, Joaquim
Published 1988
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
2
A Proof Theory for General Unification
by
Snyder, W.
Published 1991
Birkhäuser
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
3
Complexity and Real Computation
by
Blum, Lenore
,
Cucker, Felipe
,
Shub, Michael
,
Smale, Steve
Published 1998
Springer New York
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
4
Elementare Aussagenlogik
by
Bauer, Friedrich L.
,
Wirsing, Martin
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
5
Computational Artifacts : Towards a Philosophy of Computer Science
by
Turner, Raymond
Published 2018
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
6
Handbook of Computability and Complexity in Analysis
Published 2021
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
7
Structures in Logic and Computer Science : A Selection of Essays in Honor of A. Ehrenfeucht
by
Mycielski, Jan
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
8
Generalized Quantifiers and Computation : 9th European Summer School in Logic, Language, and Information ESSLLI’97Workshop Aix-en-Provence, France, August 11–22, 1997 Revised Lectu...
by
Väänänen, Jouko
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
9
Foundations of Finitely Supported Structures : A Set Theoretical Viewpoint
by
Alexandru, Andrei
,
Ciobanu, Gabriel
Published 2020
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
10
Theoretische Informatik : Eine umfassende Einführung
by
Priese, Lutz
,
Erk, Katrin
Published 2018
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
11
Turing Computability : Theory and Applications
by
Soare, Robert I.
Published 2016
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
12
Scheduling in Parallel Computing Systems : Fuzzy and Annealing Techniques
by
Salleh, Shaharuddin
,
Zomaya, Albert Y.
Published 1999
Springer US
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
13
Mathematics of Discrete Structures for Computer Science
by
Pace, Gordon J.
Published 2012
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
14
Finitely Supported Mathematics : An Introduction
by
Alexandru, Andrei
,
Ciobanu, Gabriel
Published 2016
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
15
Probabilistic Extensions of Various Logical Systems
Published 2020
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
16
Mathematical Logic for Computer Science
by
Ben-Ari, Mordechai
Published 2001
Springer London
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
17
Aspekte des Unendlichen : Eine kleine Erzählung für Nichtmathematiker
by
Priese, Lutz
Published 2019
Springer Fachmedien Wiesbaden
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
18
Mathematik für Informatiker : Grundlegende Begriffe und Strukturen
by
Berghammer, Rudolf
Published 2014
Springer Fachmedien Wiesbaden
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
19
Mathematik für die Informatik : Grundlegende Begriffe, Strukturen und ihre Anwendung
by
Berghammer, Rudolf
Published 2021
Springer Fachmedien Wiesbaden
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
20
Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
by
Schreiner, Wolfgang
Published 2023
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
1
2
3
4
5
6
7
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 004 - Data processing & computer science
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
005 - Computer programming, programs & data
1
Language
English
81
German
14
Collection
Springer Book Archives -2004
55
Springer eBooks 2005-
40
Lecture Notes in Computer Science
29
Author
Nerode, Anil
6
Berghammer, Rudolf
4
Priese, Lutz
4
Brattka, Vasco
3
Erk, Katrin
3
Löwe, Benedikt
3
more ...
Pacholski, Leszek
3
Adian, Sergei
2
Alexandru, Andrei
2
Artemov, Sergei
2
Börger, Egon
2
Ciobanu, Gabriel
2
Crossley, John N.
2
Galmiche, Didier
2
Girard, Jean-Yves
2
Gottlob, Georg
2
Groote, Philippe de
2
Hertling, Peter
2
Kleine Büning, Hans
2
Kutylowski, Miroslaw
2
Leitsch, Alexander
2
Moggi, Eugenio
2
Nipkow, Tobias
2
Rosolini, Giuseppe
2
Wierzbicki, Tomasz
2
Wirsing, Martin
2
Abramsky, Samson
1
Alves-Foss, James
1
Apt, Krzysztof R.
1
Azema, Pierre
1
Baaz, Matthias
1
Baclavski, Ken
1
Balbo, Gianfranco
1
Balcazar, Jose L.
1
Bauer, Friedrich L.
1
Baumgartner, Peter
1
Ben-Ari, Mordechai
1
Bezem, Marc
1
Blanck, Jens
1
Bloem, Roderick
1
Blum, Lenore
1
Bochmann, Gregor von
1
Bonizzoni, Paola
1
Bouyer, Patricia
1
Bradfield, Julian
1
Budach, Lothar
1
Bukharajev, Rais G.
1
Bürckert, Hans-Jürgen
1
Caires, Luis
1
Callaghan, Paul
1
Camilleri, Juanito
1
Cerro, Luís Fariñas
1
Clarke, Edmund M.
1
Clote, Peter
1
Clote, Peter G
1
Codescu, Mihai
1
Comon, Hubert
1
Cooper, S.B.
1
Coquand, Thierry
1
Cornelius, F.
1
Courcoubetis, Costas
1
Cucker, Felipe
1
DeMichelis, Giorgio
1
Diaconescu, Răzvan
1
Diaz, Josep
1
Diaz, Michel
1
Dix, Jürgen
1
Donatelli, Susanna
1
Dowek, Gilles
1
Downey, Rodney G.
1
Dreiseitl, Stephan
1
Droste, Manfred
1
Dybjer, Peter
1
Dzhafarov, Damir D.
1
Ehrig, Hartmut
1
Eijck, Jan van
1
Esparza, Javier
1
Fellows, M.R.
1
Felscher, Walter
1
Felty, Amy
1
Finkbeiner, Bernd
1
Flum, J.
1
Flum, Jörg
1
Fribourg, Laurent
1
Furbach, Ulrich
1
Gabarro, Joaquim
1
Gierasimczuk, Nina
1
Giunchiglia, Enrico
1
Gorrieri, Roberto
1
Goré, Rajeev
1
Grandjean, Etienne
1
Grohe, M.
1
Groote, Jan F.
1
Große-Rhode, Martin
1
Gunter, Elsa L
1
Hachenberger, Dirk
1
Heering, Jan
1
Henzinger, Thomas A.
1
Hindley, J Roger
1
Hindley, J. Roger
1
see all ...
less ...
Recently Uploaded
Last Month
3
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22004+-+Data+processing+%26+computer+science%22&lookfor=%22mathematical+logic+and+foundations%22&type=Subject
Send by Email
×
Loading...