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
language:"English"
Search alternatives
:
mathematical »
mathematics
Showing
921
-
940
of
1,099
Search:
'"Mathematical Logic And Foundations"'
,
query time: 0.26s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
921
Application and Theory of Petri Nets 1993 : 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings
Published 1993
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
922
Application and Theory of Petri Nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
Published 2002
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
923
Graph Grammars and Their Application to Computer Science : 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers.
Published 1996
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
924
Distributed Artificial Intelligence: Architecture and Modelling : First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995. Proceedings
Published 1996
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
925
Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
926
Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
927
Rewriting Techniques and Applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings
Published 1989
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
928
COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
Published 1990
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
929
Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings
Published 1989
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
930
Fuzzy Logic in Artificial Intelligence : IJCAI '93 Workshop, Chamberry, France, August 28, 1993. Proceedings
Published 1994
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
931
Computer Science Logic : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings
Published 1999
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
932
Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
933
Computer Science Logic : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
934
Lectures on Concurrency and Petri Nets : Advances in Petri Nets
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
935
Logic Programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings
Published 2002
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
936
Computer Science Logic : 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
Published 2001
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
937
Logical Foundations of Cyber-Physical Systems
by
Platzer, André
Published 2018
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
938
Power Algebras over Semirings : With Applications in Mathematics and Computer Science
by
Golan, Jonathan S.
Published 1999
Springer Netherlands
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
939
Geophysical Applications of Artificial Neural Networks and Fuzzy Logic
Published 2003
Springer Netherlands
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
Read Now
940
Handbook of Model Checking
Published 2018
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Foundations
...
”
42
43
44
45
46
47
48
49
50
51
52
Back
Narrow Search
Remove Filters
Clear Filter
Language: English
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
427
004 - Data processing & computer science
125
160 - Logic
103
005 - Computer programming, programs & data
94
006 - Special computer methods
89
512 - Algebra
47
more ...
510 - Mathematics
45
501 - Philosophy & theory
30
515 - Analysis
30
530 - Physics
13
658 - General management
11
120 - Epistemology, causation & humankind
10
514 - Topology
10
003 - Systems
8
516 - Geometry
8
519 - Probabilities & applied mathematics
7
620 - Engineering & allied operations
7
621 - Applied physics
6
518 - Numerical analysis
5
100 - Philosophy & psychology
4
330 - Economics
4
025 - Library operations
2
520 - Astronomy & allied sciences
2
541 - Physical chemistry
2
570 - Life sciences; biology
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
149 - Other philosophical systems
1
170 - Ethics
1
301 - Sociology & anthropology
1
410 - Linguistics
1
500 - Natural sciences & mathematics
1
551 - Geology, hydrology & meteorology
1
576 - Genetics & evolution
1
616 - Diseases
1
650 - Management & auxiliary services
1
910 - Geography & travel
1
see all ...
less ...
Language
English
Collection
Springer Book Archives -2004
660
Springer eBooks 2005-
438
Directory of Open Access Books
1
Author
Gabbay, Dov M.
20
Nerode, Anil
12
Rozenberg, Grzegorz
9
Zimmermann, Hans-Jürgen
9
Ebbinghaus, Heinz-Dieter
8
Wansing, Heinrich
8
more ...
Kahle, Reinhard
7
Li, Wei
7
Givant, Steven
6
Leitsch, Alexander
6
Löwe, Benedikt
6
Mundici, Daniele
6
van Benthem, Johan
6
Artemov, Sergei
5
Börger, Egon
5
Flum, Jörg
5
Kleine Büning, Hans
5
Klement, Erich Peter
5
Schlechta, Karl
5
Smets, Philippe
5
Sui, Yuefei
5
Wallis, W.D.
5
Aguirre, Anthony
4
Beziau, Jean-Yves
4
Bibel, Wolfgang
4
Dalla Chiara, Maria Luisa
4
Diaz, Josep
4
Dubois, Didier
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
Soifer, Alexander
4
Sommaruga, Giovanni
4
Voronkov, Andrei
4
von Plato, Jan
4
Andreescu, Titu
3
Andréka, Hajnal
3
Balcazar, Jose L.
3
Brattka, Vasco
3
Béziau, Jean-Yves
3
Carnielli, Walter
3
Dalen, Dirk van
3
Dybjer, Peter
3
Foster, Brendan
3
Gabarro, Joaquim
3
Golan, Jonathan S.
3
Gottlob, Georg
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
Nipkow, Tobias
3
Piecha, Thomas
3
Prade, Henri
3
Prestel, A.
3
Reisig, Wolfgang
3
Rodabaugh, S.E.
3
Rota, Gian-Carlo
3
Roubens, M.R.
3
Ruan, Da
3
Sacks, Gerald E.
3
Salomaa, Arto
3
Schroeder-Heister, Peter
3
Smith, James T.
3
Srivastava, Shashi Mohan
3
Takeuti, G.
3
Thomas, Wolfgang
3
Wolenski, Jan
3
Yager, Ronald R.
3
van Dalen, Dirk
3
van Ditmarsch, Hans
3
Abramsky, Samson
2
Alexandru, Andrei
2
Atanassov, Krassimir T.
2
Baaz, Matthias
2
Babuška, Robert
2
Bagaria, Joan
2
Bajnok, Béla
2
Baltag, Alexandru
2
Baumgartner, Peter
2
Ben-Ari, Mordechai
2
see all ...
less ...
Recently Uploaded
Last Month
4
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=47&filter%5B%5D=language%3A%22English%22&lookfor=%22Mathematical+Logic+And+Foundations%22&type=Subject
Send by Email
×
Loading...