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
181
-
195
of
195
Search:
'"Logic, Symbolic And Mathematical"'
,
query time: 2.48s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
181
The logical systems of Lesniewski
by
Luschei, Eugene C.
Published 1962
North-Holland Pub. Co.
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
B4691.L44
Read Now
182
Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings
by
Kahle, Reinhard
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
183
Theory and Applications of Satisfiability Testing : 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
by
Giunchiglia, Enrico
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
184
Logically determined design : clockless system design with NULL convention logic
by
Fant, Karl M.
Published 2005
John Wiley & Sons
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
TK7868.A79
Read Now
185
Mathematical logic
by
Turing, Alan
Published 2001
Elsevier Science
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA9.2
Read Now
186
Computability, complexity, logic
by
Börger, E.
Published 1989
North-Holland
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA9.59
Read Now
187
Constructible sets with applications
by
Mostowski, Andrzej
Published 1969
North-Holland Pub. Co.
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA9
Read Now
188
Intuitionistic logic, model theory and forcing
by
Fitting, Melvin
Published 1969
North-Holland Pub. Co.
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA9
Read Now
189
Logic-based decision support : mixed integer model formulation
by
Jeroslow, Robert G.
Published 1989
North-Holland
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
T58.62
Read Now
190
Logic, automata, and algorithms
by
Aĭzerman, M. A.
Published 1971
Academic Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA267.5.S4
Read Now
191
Language in action : categories, lambdas, and dynamic logic
by
Benthem, Johan van
Published 1991
North-Holland
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
P39
Read Now
192
Simplified independence proofs : Boolean valued models of set theory
by
Rosser, J. Barkley
Published 1969
Academic Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA3
Read Now
193
Complete theories
by
Robinson, Abraham
Published 1956
North-Holland Pub. Co.
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA162
Read Now
194
Handbook of logic and language
by
Benthem, Johan van
Published 1997
Elsevier
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA76.9.N38
Read Now
195
Introduction to model theory and to the metamathematics of algebra
by
Robinson, Abraham
Published 1963
North-Holland Pub. Co.
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA162
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=10&lookfor=%22Logic%2C+Symbolic+And+Mathematical%22&type=Subject
Send by Email
×
Loading...