Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Logic, Symbolic And Mathematical"
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
Search alternatives
:
mathematical »
mathematics
Showing
161
-
180
of
195
Search:
'"Logic, Symbolic And Mathematical"'
,
query time: 2.30s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
161
Computer Science Logic : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers
by
Nielsen, Mogens
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
162
Computer Science Logic : 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings
by
Flum, Jörg
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
163
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
164
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
165
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
166
The collected papers of Gerhard Gentzen
by
Szabo, M. E.
Published 1969
North-Holland
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA9.2
Read Now
167
Contributions to non-standard analysis
by
Luxemburg, W. A. J.
Published 1972
North-Holland Pub. Co.
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ fast / (OCoLC)fst01002068...
”
Call Number:
QA300
Read Now
168
Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
by
Gottlob, Georg
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
169
The Essence of Numbers
by
Patras, Frédéric
Published 2020
Springer International Publishing
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
170
Computability and Complexity in Analysis : 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers
by
Blanck, Jens
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
171
Category Theory and Computer Science : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
by
Moggi, Eugenio
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
172
Alan Turing : his work and impact
by
Cooper, S. B.
Published 2013
Elsevier
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
173
Logic Colloquium '69 : proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
by
Gandy, R. O.
Published 1971
North-Holland Pub. Co.
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
BC135
Read Now
174
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
by
Mostowski, Andrzej
Published 1952
Elsevier Science
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA9.G63
Read Now
175
Languages with expressions of infinite length
by
Karp, Carol
Published 1964
North-Holland
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA9.L3
Read Now
176
Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
by
Coquand, Thierry
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
177
Constraints in Computational Logics. Theory and Applications : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
by
Comon, Hubert
Published 2001
Springer Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
178
Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings
by
Goré, Rajeev
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
179
Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
by
Nipkow, Tobias
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
180
Computational thinking for the modern problem solver
by
Riley, David D.
Published 2014
CRC Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
Q342
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=9&lookfor=%22Logic%2C+Symbolic+And+Mathematical%22&type=Subject
Send by Email
×
Loading...