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
21
-
40
of
196
Search:
'"Logic, Symbolic And Mathematical"'
,
query time: 0.20s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
21
The Calculi of Lambda Conversion. (AM-6)
by
Church, Alonzo
Published 2016
Princeton University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
22
Proofs and refutations : the logic of mathematical discovery
by
Lakatos, Imre
Published 1976
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA8.4
Read Now
23
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
24
Tracking reason : proof, consequence, and truth
by
Azzouni, Jody
Published 2006
Oxford University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9.54
Read Now
25
Lectures in logic and set theory, Volume 2: Set theory
by
Tourlakis, George J.
Published 2003
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9.2
Read Now
26
Analysis and logic
by
Henson, C. W.
Published 2002
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA300.5
Read Now
27
Purity, spectra and localisation
by
Prest, Mike
Published 2009
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA150
Read Now
28
Graph structure and monadic second-order logic : a language-theoretic approach
by
Courcelle, B.
,
Engelfriet, Joost
Published 2012
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ Graphic methods...
”
Call Number:
QA9
Read Now
29
Logicism and its philosophical legacy
by
Demopoulos, William
Published 2013
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9
Read Now
30
The logic of infinity
by
Sheppard, Barnaby
Published 2014
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA248
Read Now
31
An introduction to Gödel's theorems
by
Smith, Peter
Published 2013
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9.65
Read Now
32
Mathematics, models, and modality : selected philosophical essays
by
Burgess, John P.
Published 2008
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA8.6
Read Now
33
Two Applications of Logic to Mathematics
by
Takeuti, Gaisi
Published 2015
Princeton University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9
Read Now
34
Paraconsistency in mathematics
by
Weber, Zach
Published 2022
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
BC199.I45
Read Now
35
After Gèodel : Platonism and rationalism in mathematics and logic
by
Tieszen, Richard L.
Published 2011
Oxford University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9
Read Now
36
Truth through proof : a formalist foundation for mathematics
by
Weir, Alan
Published 2010
Oxford University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA8.4
Read Now
37
Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981
by
Stern, Jacques
Published 1982
North-Holland Pub. Co.
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ fast / (OCoLC)fst01002068...
”
Call Number:
QA9.A1
Read Now
38
Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966
by
Schmidt, H. Arnold
Published 1968
North-Holland
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ fast / (OCoLC)fst01002068...
”
Call Number:
QA9.A1
Read Now
39
Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968
by
Kino, A.
Published 1970
North-Holland
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ fast / (OCoLC)fst01002068...
”
Call Number:
QA9.A1
Read Now
40
Theory of Formal Systems. (AM-47)
by
Smullyan, Raymond M.
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
13
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
161
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-
7
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
Bezhanishvili, Nick
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
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=2&lookfor=%22Logic%2C+Symbolic+And+Mathematical%22&type=Subject
Send by Email
×
Loading...