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
1
-
20
of
194
Search:
'"Logic, Symbolic And Mathematical"'
,
query time: 0.15s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Mathematics and Its logics : philosophical essays
by
Hellman, Geoffrey
Published 2021
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9
Read Now
2
Logical dynamics of information and interaction
by
Benthem, Johan van
Published 2011
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9
Read Now
3
Kurt Gödel : essays for his centennial
Published 2010
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9.2
Read Now
4
Foundations without foundationalism : a case for second-order logic
by
Shapiro, Stewart
Published 1991
Clarendon
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9
Read Now
5
Introduction to Mathematical Logic (PMS-13)
by
Church, Alonzo
Published 2016
Princeton University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
6
The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
by
Post, Emil L.
Published 2016
Princeton University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
7
The mathematics of logic : a guide to completeness theorems and their applications
by
Kaye, Richard
Published 2007
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9
Read Now
8
Mathematical logic and computation
by
Avigad, Jeremy
Published 2023
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9
Read Now
9
Logic Colloquium 2007
Published 2010
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ Congresses...
”
Call Number:
QA9.A1
Read Now
10
Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995
Published 2016
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ Congresses...
”
Call Number:
QA9.A1
Read Now
11
Logic Colloquium '96
Published 2016
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ Congresses...
”
Call Number:
QA9.A1
Read Now
12
Logic Colloquium '90 : ASL summer meeting in Helsinki
Published 2016
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ Congresses...
”
Call Number:
QA9.A1
Read Now
13
Advances in linear logic
Published 1995
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ Congresses...
”
Call Number:
QA9.A1
Read Now
14
Logic Colloquium 2006
Published 2009
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ Congresses...
”
Call Number:
QA9.A1
Read Now
15
Elements of logical reasoning
by
Von Plato, Jan
Published 2013
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9
Read Now
16
Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004
Published 2007
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ Congresses...
”
Call Number:
QA9.A1
Read Now
17
Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005
Published 2007
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ Congresses...
”
Call Number:
QA9.A1
Read Now
18
Model theory and the philosophy of mathematical practice : formalization without foundationalism
by
Baldwin, John T.
Published 2018
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9.7
Read Now
19
Two Applications of Logic to Mathematics
by
Takeuti, Gaisi
Published 2015
Princeton University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9
Read Now
20
On Group-Theoretic Decision Problems and Their Classification. (AM-68)
by
Miller, Charles F.
Published 2016
Princeton University Press
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 ...
500 - Natural sciences & mathematics
3
501 - Philosophy & theory
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
159
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 ...
MIT Press eBook Archive
5
Springer eBooks 2005-
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 ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=%22Logic%2C+Symbolic+And+Mathematical%22&type=Subject
Send by Email
×
Loading...