Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: logic, symbolic and (mathematical OR mathematics)
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
Showing
1
-
20
of
975
Search:
'logic, symbolic and (mathematical OR mathematics)'
,
query time: 0.43s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
The
mathematics
of
logic
: a guide to completeness theorems and their applications
by
Kaye, Richard
Published 2007
Cambridge University Press
Table of Contents:
“
... algebras -- Propositional
logic
-- Valuations -- Filters and ideals -- First-order
logic
-- Completeness...
”
Call Number:
QA9
Read Now
2
Mathematics
and Its
logics
: philosophical essays
by
Hellman, Geoffrey
Published 2021
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9
Read Now
3
Mathematical
logic
and computation
by
Avigad, Jeremy
Published 2023
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9
Read Now
4
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
5
Paraconsistency in
mathematics
by
Weber, Zach
Published 2022
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
BC199.I45
Read Now
6
Elements of
mathematical
logic
: (Model theory)
by
Kreisel, Georg
,
Krivine, J. L.
Published 1967
North Holland Pub. Co.
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA9
Read Now
7
Two Applications of
Logic
to
Mathematics
by
Takeuti, Gaisi
Published 2015
Princeton University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9
Read Now
8
Mathematical
logic
by
Turing, Alan
Published 2001
Elsevier Science
Table of Contents:
“
... -- Part I: Computability and Ordinal
Logics
-- Chapter 1. Historical Introduction (Solomon Feferman...
”
Call Number:
QA9.2
Read Now
9
Handbook of
mathematical
logic
by
Barwise, Jon
Published 1977
North-Holland Pub. Co.
Table of Contents:
“
... and constructive
mathematics
...
”
Call Number:
QA9
Read Now
10
Inconsistent
Mathematics
by
Mortensen, C.E.
Published 1995
Springer Netherlands
Subjects:
“
...
Mathematical
logic
...
”
Read Now
11
Mathematical
logic
through Python
by
Gonczarowski, Yannai A.
,
Nisan, Noam
Published 2022
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9
Read Now
12
Advanced
mathematics
: a transitional reference
by
Farlow, Stanley J.
Published 2020
Wiley
Table of Contents:
“
...
Logic
and proofs -- Sets and counting -- Relations -- The real and complex number systems...
”
Call Number:
QA37.3
Read Now
13
Paradoxes and inconsistent
mathematics
by
Weber, Zach
Published 2021
Cambridge University Press
Table of Contents:
“
...
mathematics
-- Set theory -- Arithmetic -- Algebra -- Real analysis -- Topology -- Ordinary paradox...
”
Call Number:
QA9
Read Now
14
Mathematical
logic
in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
by
Arruda, A. I.
Published 1980
North-Holland Pub. Co.
Table of Contents:
“
...Front Cover;
Mathematical
Logic
in Latin America; Copyright Page; CONTENTS; Preface; Program...
”
Call Number:
QA9.A1
Read Now
15
A survey of
mathematical
logic
by
Wang, Hao
Published 1963
Elsevier Science
Table of Contents:
“
... : an exercise in coding --
Logic
of automata -- Toward mechanical
mathematics
-- Circuit synthesis by solving...
”
Call Number:
QA9
Read Now
16
Introduction to
Mathematical
Logic
(PMS-13)
by
Church, Alonzo
Published 2016
Princeton University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
17
Mathematics
, models, and modality : selected philosophical essays
by
Burgess, John P.
Published 2008
Cambridge University Press
Table of Contents:
“
..., and philosophy of
mathematics
-- Being explained away -- E pluribus unum : plural
logic
and set theory...
”
Call Number:
QA8.6
Read Now
18
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
19
Lectures in
logic
and set theory, Volume 1:
Mathematical
logic
by
Tourlakis, George J.
Published 2003
Cambridge University Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA9.2
Read Now
20
Constructibility and
mathematical
existence
by
Chihara, Charles S.
Published 1990
Clarendon
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Call Number:
QA8.4
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
217
511 - General principles of mathematics
179
005 - Computer programming, programs & data
160
006 - Special computer methods
92
510 - Mathematics
57
160 - Logic
44
more ...
512 - Algebra
34
518 - Numerical analysis
21
621 - Applied physics
20
501 - Philosophy & theory
17
515 - Analysis
16
620 - Engineering & allied operations
15
519 - Probabilities & applied mathematics
14
003 - Systems
12
330 - Economics
11
500 - Natural sciences & mathematics
9
164 - [Unassigned]
7
570 - Life sciences; biology
6
629 - Other branches of engineering
6
530 - Physics
5
658 - General management
4
670 - Manufacturing
4
001 - Knowledge
3
153 - Mental processes & intelligence
3
300 - Social sciences
3
401 - Philosophy & theory
3
514 - Topology
3
000 - Computer science, information & general works
2
100 - Philosophy & psychology
2
121 - Epistemology
2
149 - Other philosophical systems
2
190 - Modern western philosophy
2
192 - Philosophy of British Isles
2
371 - Schools & their activities; special education
2
410 - Linguistics
2
415 - Grammar
2
517 - [Unassigned]
2
536 - Heat
2
600 - Technology
2
050 - General serial publications
1
111 - Ontology
1
120 - Epistemology, causation & humankind
1
128 - Humankind
1
142 - Critical philosophy
1
146 - Naturalism & related systems
1
150 - Psychology
1
161 - Induction
1
170 - Ethics
1
191 - Philosophy of United States & Canada
1
193 - Philosophy of Germany & Austria
1
301 - Sociology & anthropology
1
306 - Culture & institutions
1
320 - Political science
1
332 - Financial economics
1
333 - Economics of land & energy
1
361 - Social problems & social welfare in general
1
370 - Education
1
509 - Historical, geographic & persons treatment
1
516 - Geometry
1
547 - Organic chemistry
1
550 - Earth sciences
1
601 - Philosophy & theory
1
612 - Human physiology
1
628 - Sanitary & municipal engineering
1
700 - The arts; fine & decorative arts
1
720 - Architecture
1
745 - Decorative arts
1
794 - Indoor games of skill
1
800 - Literature & rhetoric
1
801 - Philosophy & theory
1
see all ...
less ...
Language
English
898
German
16
Collection
Springer Book Archives -2004
368
Springer eBooks 2005-
323
Elsevier eBook collection Mathematics
81
Cambridge Books Online
60
Lecture Notes in Computer Science
56
O'Reilly
35
more ...
DeGruyter MPG Collection
15
Oxford University Press
12
MIT Press eBook Archive
6
Lecture Notes in Mathematics
4
Elsevier ScienceDirect eBooks
3
OAPEN
3
Digi20
2
JSTOR Open Access Books
2
Directory of Open Access Books
1
Edward Elgar eBook Archive
1
Eighteenth Century Collections Online / ECCO
1
Oxford Handbook Online
1
Springer Lecture Notes Archiv 1964-1996
1
see all ...
less ...
Author
Association for Symbolic Logic
12
Vorozhtsov, Evgenii V.
9
Gerdt, Vladimir P.
7
Koepf, Wolfram
7
Nerode, Anil
7
Rozenberg, Grzegorz
7
more ...
Calmet, Jacques
6
Ehrig, Hartmut
6
Mayr, Ernst W.
6
Cooper, S. B.
5
Gabbay, Dov M.
5
Möller, Bernhard
5
de Queiroz, Ruy
5
Bibel, Wolfgang
4
Buchberger, Bruno
4
Kahl, Wolfram
4
Kennedy, Juliette
4
Martín-Vide, Carlos
4
Mostowski, Andrzej
4
Robinson, Abraham
4
Schmidt, Gunther
4
Seiler, Werner M.
4
Struth, Georg
4
Thomas, Wolfgang
4
Valentine, Daniel T.
4
Benthem, Johan van
3
Campbell, John A.
3
Ceccherini-Silberstein, Tullio
3
Comon, Hubert
3
Cooper, Barry S.
3
Coornaert, Michel
3
Crossley, John N.
3
Dalen, D. van
3
Dediu, Adrian-Horia
3
Engels, Gregor
3
Fitting, Melvin
3
Flum, Jörg
3
Foret, Annie
3
Gandy, R. O.
3
Hahn, Brian D.
3
Henzinger, Thomas A.
3
Hitzler, Pascal
3
Horimoto, Katsuhisa
3
Kahle, Reinhard
3
Kuich, Werner
3
Leitsch, Alexander
3
Löwe, Benedikt
3
Martin-Vide, Carlos
3
Morrill, Glyn
3
Muskens, Reinhard
3
Nipkow, Tobias
3
Orlowska, Ewa
3
Paris, J. B.
3
Pogodalla, Sylvain
3
Pérez López, César
3
Rahonis, George
3
Roubens, Marc
3
Rusinowitch, Michael
3
Salomaa, Arto
3
Sikorski, Roman
3
Suppes, Patrick
3
Swart, Harrie de
3
Takeuti, G.
3
Tarski, Alfred
3
Tison, Sophie
3
Truthe, Bianca
3
Voronkov, Andrei
3
Zaring, W.M.
3
Adian, Sergei
2
Arbib, Michael A.
2
Asperti, Andrea
2
Baaz, Matthias
2
Bachmair, Leo
2
Balcazar, Jose L.
2
Basin, David
2
Batschelet, E.
2
Ben-Ari, Mordechai
2
Benferhat, Salem
2
Benhamou, Belaid
2
Berghammer, Rudolf
2
Bertrand, Patrice
2
Besnard, Philippe
2
Beth, E.W.
2
Bhateja, Vikrant
2
Bock, Hans-Hermann
2
Bowen, Jonathan P.
2
Bozapalidis, Symeon
2
Buchberger, B.
2
Bunke, Horst
2
Campbell, John
2
Campbell, John A
2
Caprotti, Olga
2
Carette, Jacques
2
Cerioli, Maura
2
Church, Alonzo
2
Clarke, Edmund M.
2
Clocksin, W. F.
2
Collins, G.E.
2
Davenport, James H.
2
Dershowitz, Nachum
2
see all ...
less ...
Recently Uploaded
Last Month
7
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=logic%2C+symbolic+and+%28mathematical+OR+mathematics%29&type=AllFields
Send by Email
×
Loading...