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
101
-
120
of
194
Search:
'"Logic, Symbolic And Mathematical"'
,
query time: 0.16s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
101
Mathematical logic and foundations of set theory : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14...
by
Bar-Hillel, Yehoshua
Published 1970
North-Holland Pub. Co.
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ fast / (OCoLC)fst01002068...
”
Call Number:
BC135
Read Now
102
Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
by
Crossley, John N.
Published 1967
North-Holland
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ fast / (OCoLC)fst01002068...
”
Call Number:
QA9.A1
Read Now
103
Structures in Logic and Computer Science : A Selection of Essays in Honor of A. Ehrenfeucht
by
Mycielski, Jan
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
104
Computational logic and human thinking : how to be artificially intelligent
by
Kowalski, Robert
Published 2011
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ Famous problems...
”
Call Number:
Q342
Read Now
105
Frege and other philosophers
by
Dummett, Michael
Published 1991
Clarendon
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
B3245.F24
Read Now
106
Generalized Quantifiers and Computation : 9th European Summer School in Logic, Language, and Information ESSLLI’97Workshop Aix-en-Provence, France, August 11–22, 1997 Revised Lectu...
by
Väänänen, Jouko
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
107
Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics
by
Leblanc, Hugues
Published 1973
North-Holland
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ fast / (OCoLC)fst01002068...
”
Call Number:
BC135
Read Now
108
Foundational studies, Volume II : selected works
by
Mostowski, Andrzej
Published 1979
North-Holland Pub. Co.
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA9
Read Now
109
Commonsense reasoning
by
Mueller, Erik T.
Published 2006
Morgan Kaufmann Publishers
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ Data processing / fast...
”
Call Number:
Q338.85
Read Now
110
Commonsense reasoning : an event calculus based approach
by
Mueller, Erik T.
Published 2015
Elsevier Morgan Kaufmann
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ Data processing / fast...
”
Call Number:
Q338.85
Read Now
111
Model Theory and Algebraic Geometry : An introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture
by
Bouscaren, Elisabeth
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
112
Word and object
by
Quine, W. V.
Published 2013
MIT Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
B840
Read Now
113
Knowledge in action : logical foundations for specifying and implementing dynamical systems
by
Reiter, Raymond
Published 2001
MIT Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
Q387
Read Now
114
Samson Abramsky on Logic and Structure in Computer Science and Beyond
Published 2023
Springer International Publishing
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
115
Handbook of mathematical logic
by
Barwise, Jon
Published 1977
North-Holland Pub. Co.
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA9
Read Now
116
The Determinacy of Long Games
by
Neeman, Itay
Published 2008
De Gruyter
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA269
Read Now
117
Nomological statements and admissible operations
by
Reichenbach, Hans
Published 1954
North-Holland
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA9.N6
Read Now
118
Logic, methodology, and philosophy of science VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983
by
Marcus, Ruth Barcan
Published 1986
North-Holland
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
Q174
Read Now
119
Propositions, functions, and analysis : selected essays on Russell's philosophy
by
Hylton, Peter
Published 2010
Clarendon Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ History / 20th century...
”
Call Number:
B1649.R94
Read Now
120
The continued exercise of reason : public addresses
by
Boole, George
Published 2018
The MIT Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9.2
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?page=6&lookfor=%22Logic%2C+Symbolic+And+Mathematical%22&type=Subject
Send by Email
×
Loading...