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
41
-
60
of
195
Search:
'"Logic, Symbolic And Mathematical"'
,
query time: 0.67s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
41
Theory of Formal Systems. (AM-47)
by
Smullyan, Raymond M.
Published 2016
Princeton University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
42
The Oxford handbook of philosophy of mathematics and logic
by
Shapiro, Stewart
Published 2007
Oxford University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ Philosophy...
”
Call Number:
QA8.4
Read Now
43
Logische Untersuchungen
by
Frege, Gottlob
Published 1993
Vandenhoeck und Ruprecht
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
44
Infinity and the Mind : The Science and Philosophy of the Infinite
by
Rucker, Rudy
Published 2019
Princeton University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9
Read Now
45
Mechanical logic in three-dimensional space
by
Auletta, Gennaro
Published 2013
CRC Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA9
Read Now
46
Advanced mathematics : a transitional reference
by
Farlow, Stanley J.
Published 2020
Wiley
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ Textbooks...
”
Call Number:
QA37.3
Read Now
47
Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Published 1999
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ Congresses...
”
Call Number:
QA9.A1
Read Now
48
Appalachian set theory : 2006-2012
Published 2013
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA248
Read Now
49
Finite Dimensional Vector Spaces. (AM-7)
by
Halmos, Paul R.
Published 2016
Princeton University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
50
Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning
by
Coecke, Bob
,
Kissinger, Aleks
Published 2017
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QC174.12
Read Now
51
Set theory, arithmetic, and foundations of mathematics : theorems, philosophies
Published 2011
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA248
Read Now
52
Past, present and future
by
Prior, A. N.
Published 1967
Clarendon
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
BC199.T4
Read Now
53
Reductive logic and proof-search : proof theory, semantics, and control
by
Pym, David J.
Published 2004
Clarendon
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9
Read Now
54
Constructibility and mathematical existence
by
Chihara, Charles S.
Published 1990
Clarendon
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA8.4
Read Now
55
A framework for priority arguments
by
Lerman, M.
Published 2010
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9.54
Read Now
56
A guide to NIP theories
by
Simon, Pierre
Published 2015
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9.7
Read Now
57
An introduction to Gödel's Theorems
by
Smith, Peter
Published 2007
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9.65
Read Now
58
Logical foundations of proof complexity
by
Cook, Stephen
,
Nguyen, Phuong
Published 2010
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA267.7
Read Now
59
Paradoxes and inconsistent mathematics
by
Weber, Zach
Published 2021
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9
Read Now
60
Mathematical logic through Python
by
Gonczarowski, Yannai A.
,
Nisan, Noam
Published 2022
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9
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=3&lookfor=%22Logic%2C+Symbolic+And+Mathematical%22&type=Subject
Send by Email
×
Loading...