Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "mathematics 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
:
"mathematics logic and foundations" »
"mathematical logic and foundations"
Showing
1
-
20
of
171
Search:
'"mathematics logic and foundations"'
,
query time: 0.25s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
A Proof Theory for General Unification
by
Snyder, W.
Published 1991
Birkhäuser
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
2
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
3
Structures in Logic and Computer Science : A Selection of Essays in Honor of A. Ehrenfeucht
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
4
Structural Complexity I
by
Balcazar, Jose L.
,
Diaz, Josep
,
Gabarro, Joaquim
Published 1988
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
5
Theoremus : A Student's Guide to Mathematical Proofs
by
Cruz, Lito Perez
Published 2021
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
6
Elementare Aussagenlogik
by
Bauer, Friedrich L.
,
Wirsing, Martin
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
7
Iteration Theories : The Equational Logic of Iterative Processes
by
Bloom, Stephen L.
,
Esik, Zoltan
Published 1993
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
8
Computational Artifacts : Towards a Philosophy of Computer Science
by
Turner, Raymond
Published 2018
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
9
Process Algebras for Petri Nets : The Alphabetization of Distributed Systems
by
Gorrieri, Roberto
Published 2017
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
10
Theorem Proving with Analytic Tableaux and Related Methods : 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings
Published 1996
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
11
Handbook of Computability and Complexity in Analysis
Published 2021
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
12
The Incomputable : Journeys Beyond the Turing Barrier
Published 2017
Springer International Publishing
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
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
15
Turing Computability : Theory and Applications
by
Soare, Robert I.
Published 2016
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
16
Descriptive Complexity
by
Immerman, Neil
Published 1999
Springer New York
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
17
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
18
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
19
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
20
Theoretische Informatik : Eine umfassende Einführung
by
Priese, Lutz
,
Erk, Katrin
Published 2018
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
1
2
3
4
5
6
7
8
9
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
127
German
15
Collection
Springer Book Archives -2004
84
Springer eBooks 2005-
58
Lecture Notes in Computer Science
29
Author
Nerode, Anil
7
Berghammer, Rudolf
5
Löwe, Benedikt
5
Brattka, Vasco
4
Börger, Egon
4
Priese, Lutz
4
more ...
Erk, Katrin
3
Hertling, Peter
3
Kleine Büning, Hans
3
Pacholski, Leszek
3
Rozenberg, Grzegorz
3
Adian, Sergei
2
Alexandru, Andrei
2
Artemov, Sergei
2
Balcazar, Jose L.
2
Blanck, Jens
2
Bradfield, Julian
2
Brookes, Stephen
2
Ciobanu, Gabriel
2
Crossley, John N.
2
Diaz, Josep
2
Ehrig, Hartmut
2
Flum, Jörg
2
Gabarro, Joaquim
2
Galmiche, Didier
2
Girard, Jean-Yves
2
Gorrieri, Roberto
2
Gottlob, Georg
2
Groote, Philippe de
2
Jäger, Gerhard
2
Kobayashi, Naoki
2
Kutylowski, Miroslaw
2
Leitsch, Alexander
2
Main, Michael
2
Martini, Simone
2
Meinke, Karl
2
Melton, Austin
2
Mislove, Michael
2
Moggi, Eugenio
2
Mundici, Daniele
2
Mycielski, Jan
2
Nipkow, Tobias
2
Richter, Michael M.
2
Rodriguez-Artalejo, Mario
2
Rosolini, Giuseppe
2
Salomaa, Arto
2
Wierzbicki, Tomasz
2
Wirsing, Martin
2
Worrell, James
2
Abramsky, Samson
1
Alves-Foss, James
1
Apt, Krzysztof R.
1
Azema, Pierre
1
Baaz, Matthias
1
Baclavski, Ken
1
Badouel, Eric
1
Balbo, Gianfranco
1
Bauer, Friedrich L.
1
Baumgartner, Peter
1
Ben-Ari, Mordechai
1
Bergman, Clifford H.
1
Bernardinello, Luca
1
Bezem, Marc
1
Bezhanishvili, Nick
1
Billington, Jonathan
1
Bloem, Roderick
1
Bloom, Stephen L.
1
Blum, Lenore
1
Bochmann, Gregor von
1
Bongiovanni, Giancarlo
1
Bonizzoni, Paola
1
Bouyer, Patricia
1
Bovet, Daniel P.
1
Bridges, Douglas S.
1
Budach, Lothar
1
Bukharajev, Rais G.
1
Büchi, J. Richard
1
Bürckert, Hans-Jürgen
1
Caires, Luis
1
Callaghan, Paul
1
Camilleri, Juanito
1
Cerro, Luís Fariñas
1
Chytil, M.P.
1
Clarke, Edmund M.
1
Clote, Peter
1
Clote, Peter G
1
Codescu, Mihai
1
Colinet, Margot
1
Comon, Hubert
1
Cooper, Barry S.
1
Cooper, S. Barry
1
Cooper, S.B.
1
Coquand, Thierry
1
Cornelius, F.
1
Corradini, Andrea
1
Courcoubetis, Costas
1
Cruz, Lito Perez
1
Cucker, Felipe
1
Darondeau, Philippe
1
Dawar, Anuj
1
see all ...
less ...
Recently Uploaded
Last Month
4
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=%22mathematics+logic+and+foundations%22&type=Subject
Send by Email
×
Loading...