Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "logic, symbolic and mathematics"
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
195
Search:
'"logic, symbolic and mathematics"'
,
query time: 0.32s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
141
Logics in Artificial Intelligence : European Workshop, JELIA’ 98 Dagstuhl, Germany, October 12–15, 1998 Proceedings
by
Dix, Jürgen
Published 1998
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
142
Challenges for Action Theories
by
Thielscher, Michael
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
143
Non-standard analysis
by
Robinson, Abraham
Published 1966
North-Holland Pub. Co.
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA299.82
Read Now
144
Logic, methodology, and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1...
by
Prawitz, Dag
Published 1994
Elsevier
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ fast / (OCoLC)fst01002068...
”
Call Number:
Q174
Read Now
145
Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
by
Suppes, Patrick
Published 1973
North-Holland Pub. Co.
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ fast / (OCoLC)fst01002068...
”
Call Number:
BC135
Read Now
146
Typed Lambda Calculi and Applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings
by
Groote, Philippe de
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
147
Typed Lambda Calculi and Applications : 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings
by
Girard, Jean-Yves
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
148
Reasoning about uncertainty
by
Halpern, Joseph Y.
Published 2017
The MIT Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ Textbooks...
”
Call Number:
Q375
Read Now
149
Solvable cases of the decision problem
by
Ackermann, W.
Published 1954
North-Holland Pub. Co.
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
BC135
Read Now
150
Topics in Orbit Equivalence
by
Kechris, Alexander S
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
151
Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987
by
Ebbinghaus, Heinz-Dieter
Published 1989
North-Holland
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ fast / (OCoLC)fst01002068...
”
Call Number:
QA9.A1
Read Now
152
Admissibility of logical inference rules
by
Rybakov, Vladimir V.
Published 1997
Elsevier
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA9
Read Now
153
A first course in mathematical logic and set theory
by
O'Leary, Michael L.
Published 2016
John Wiley & Sons
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA9
Read Now
154
Mathematical Foundations of Computer Science 1999 : 24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings
by
Kutylowski, Miroslaw
Published 1999
Springer Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
155
Logical frameworks for truth and abstraction : an axiomatic study
by
Cantini, Andrea
Published 1996
Elsevier Science B.V.
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA9
Read Now
156
Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, P...
by
Baaz, Matthias
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
157
Computer Science Logic : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings
by
Gottlob, Georg
Published 1999
Springer Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
158
Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
by
McAllester, David
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
159
Computer Science Logic : 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings
by
Clote, Peter G
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
160
Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
by
Gunter, Elsa L
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
1
2
3
4
5
6
7
8
9
10
Back
Narrow Search
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
92
004 - Data processing & computer science
30
510 - Mathematics
23
160 - Logic
12
512 - Algebra
9
164 - [Unassigned]
7
more ...
501 - Philosophy & theory
4
500 - Natural sciences & mathematics
3
005 - Computer programming, programs & data
2
006 - Special computer methods
2
121 - Epistemology
2
153 - Mental processes & intelligence
2
192 - Philosophy of British Isles
2
515 - Analysis
2
517 - [Unassigned]
2
600 - Technology
2
000 - Computer science, information & general works
1
003 - Systems
1
111 - Ontology
1
193 - Philosophy of Germany & Austria
1
401 - Philosophy & theory
1
415 - Grammar
1
519 - Probabilities & applied mathematics
1
530 - Physics
1
620 - Engineering & allied operations
1
621 - Applied physics
1
629 - Other branches of engineering
1
658 - General management
1
745 - Decorative arts
1
800 - Literature & rhetoric
1
801 - Philosophy & theory
1
see all ...
less ...
Language
English
160
German
2
Collection
Elsevier eBook collection Mathematics
64
Cambridge Books Online
50
Lecture Notes in Computer Science
29
Oxford University Press
12
DeGruyter MPG Collection
10
O'Reilly
9
more ...
Springer eBooks 2005-
6
MIT Press eBook Archive
5
Lecture Notes in Mathematics
4
Digi20
2
Eighteenth Century Collections Online / ECCO
1
Elsevier ScienceDirect eBooks
1
JSTOR Open Access Books
1
Oxford Handbook Online
1
see all ...
less ...
Author
Association for Symbolic Logic
7
Mostowski, Andrzej
4
Robinson, Abraham
4
Benthem, Johan van
3
Cooper, S. B.
3
Crossley, John N.
3
more ...
Gandy, R. O.
3
Kennedy, Juliette
3
Suppes, Patrick
3
Church, Alonzo
2
Dalen, D. van
2
Dummett, Michael
2
Fitting, Melvin
2
Flum, Jörg
2
Girard, Jean-Yves
2
Gottlob, Georg
2
Gödel, Kurt
2
International Union of the History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science
2
Kossak, Roman
2
Kuratowski, Kazimierz
2
Lascar, D.
2
Leitsch, Alexander
2
Mueller, Erik T.
2
Nipkow, Tobias
2
Pacholski, Leszek
2
Paris, J. B.
2
Shapiro, Stewart
2
Smith, Peter
2
Tarski, Alfred
2
Tourlakis, George J.
2
Weber, Zach
2
Abramsky, Samson
1
Academia Republicii Socialiste România
1
Ackermann, W.
1
Adian, Sergei
1
Aĭzerman, M. A.
1
Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim
1
Andretta, Alessandro
1
Arruda, A. I.
1
Artemov, S. N.
1
Auletta, Gennaro
1
Avigad, Jeremy
1
Azzouni, Jody
1
Baaz, Matthias
1
Baldwin, John T.
1
Bar-Hillel, Yehoshua
1
Barwise, Jon
1
Baumgartner, Peter
1
Bell, J. L.
1
Beller, A.
1
Blanck, Jens
1
Boffa, Maurice
1
Bonzio, Stefano
1
Boole, George
1
Bouscaren, Elisabeth
1
Börger, E.
1
Bradfield, Julian
1
Brady, Geraldine
1
Brattka, Vasco
1
Burgess, John P.
1
Burness, Timothy C.
1
Cantini, Andrea
1
Cerro, Luís Fariñas
1
Chihara, Charles S.
1
Chong, C.-T.
1
Chuaqui, R.
1
Chubb, Jennifer
1
Clote, Peter G
1
Coecke, Bob
1
Cohen, L. Jonathan
1
Comon, Hubert
1
Conference on Alternative Semantics (1970, Temple University)
1
Conference on Intuitionism and Proof Theory (1968, State University of New York at Buffalo)
1
Cook, Stephen
1
Coquand, Thierry
1
Costa, Newton C. A. da
1
Courcelle, B.
1
Cummings, James
1
Cutland, Nigel J
1
Date, C. J.
1
Delon, F.
1
Demopoulos, William
1
Dimitracopoulos, Costas
1
Dix, Jürgen
1
Dooley, Brendan Maurice
1
Dorn, Georg
1
Drake, F. R.
1
Dybjer, Peter
1
Ebbinghaus, Heinz-Dieter
1
Eijck, J. van
1
Einstein Institute of Mathematics
1
Ellerman, David
1
Engelfriet, Joost
1
Equipe de logique mathématique (Paris, France)
1
Eskandarian, Ali
1
Fant, Karl M.
1
Farlow, Stanley J.
1
Feferman, Solomon
1
Felty, Amy
1
Fenstad, Jens Erik
1
see all ...
less ...
Recently Uploaded
Last Month
1
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=8&lookfor=%22logic%2C+symbolic+and+mathematics%22&type=Subject
Send by Email
×
Loading...