Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: %22Mathematical Logic AND Foundations%22
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
Retain my current filters
dewey-ones:"160 - Logic"
Search alternatives
:
22mathematical logic »
mathematical logic
,
mathematics logic
,
mathematical logical
Showing
1
-
17
of
17
Search:
'%22Mathematical Logic AND Foundations%22'
,
query time: 1.40s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Metamathematics of Fuzzy
Logic
by
Hájek, Petr
Published 1998
Springer Netherlands
Table of Contents:
“
... and their residua --
2.2
The basic many-valued
logic
-- 2.3 Residuated lattices; a completeness theorem -- 2.4 Some...
”
Read Now
2
Directions in Relevant
Logic
Published 1989
Springer Netherlands
Table of Contents:
“
..., and Opacity in Relevant
Logic
-- 21. Relevance
Logic
and Inferential Knowledge --
22
. Semantics Unlimited I: A...
”
Read Now
3
Course of
Mathematical
Logic
: Volume 2 Model Theory
by
Fraïssé, R.
Published 1974
Springer Netherlands
Table of Contents:
“
....
Logical
Convergence --
2.2
. Compactness Theorem -- 2.3. Omission Theorem -- 2.4. Interpretability Theorem...
”
Read Now
4
Hiroakira Ono on Substructural
Logics
Published 2022
Springer International Publishing
Table of Contents:
“
... -- Chapter 2. Universal algebraic methods for non-classical
logics
(James G. Raftery) -- Chapter 3. Abstract...
”
Read Now
5
Multi-Dimensional Modal
Logic
by
Marx, Maarten
,
Venema, Yde
Published 1997
Springer Netherlands
Table of Contents:
“
... to read this book -- 2 Two-dimensional modal
logics
-- 2.1 Operations on the square universe --
2.2
...
”
Read Now
6
The
Logical
Writings of Karl Popper
Published 2022
Springer International Publishing
Table of Contents:
“
...) -- Chapter 3.
Logic
without Assumptions (1947) (Karl R. Popper) -- Chapter 4. New
Foundations
for
Logic
(1947...
”
Read Now
7
First-Order Modal
Logic
by
Fitting, M.
,
Mendelsohn, Richard L.
Published 1998
Springer Netherlands
Table of Contents:
“
... --
2.2
Tableaus -- 2.3 More Tableau Systems -- 2.4
Logical
Consequence and Tableaus -- 2.5 Tableaus Work...
”
Read Now
8
Dynamic
Logic
. New Trends and Applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers
Published 2023
Springer International Publishing
Table of Contents:
“
...First steps in updating knowing how -- Parametrized modal
logic
II: the unidimensional case...
”
Read Now
9
Logic
, methodology and philosophy of science IV...
by
Suppes, Patrick
Published 1973
North-Holland Pub. Co.
Table of Contents:
“
... AND
MATHEMATICS
; Chapter 18 Towards a
Foundation
of General Proof Theory; Chapter 19 In Memoriam to Richard...
”
Call Number:
BC135
Read Now
10
Probabilistic
Logic
in a Coherent Setting
by
Coletti, Giulianella
,
Scozzafava, R.
Published 2002
Springer Netherlands
Table of Contents:
“
... as Propositions -- 2.1 Basic concepts --
2.2
From “belief” to
logic
? -- 2.3 Operations -- 2.4 Atoms (or “possible...
”
Read Now
11
A Guide to Classical and Modern Model Theory
by
Marcja, Annalisa
,
Toffalori, Carlo
Published 2003
Springer Netherlands
Table of Contents:
“
... -- Quantifier Elimination -- 2.1 Elimination sets --
2.2
Discrete linear orders -- 2.3 Dense linear orders...
”
Read Now
12
Selected Papers in
Logic
and
Foundations
, Didactics, Economics
by
Menger, Karl
Published 1979
Springer Netherlands
Table of Contents:
“
...I. Papers Introducing
Logical
Tolerance --
Logical
Tolerance in the Vienna Circle -- 1 The New...
”
Read Now
13
Truthlikeness
by
Niiniluoto, I.
Published 1987
Springer Netherlands
Table of Contents:
“
....
Logical
Tools -- 2.1. Monadic Languages NL --
2.2
. Q-Predicates -- 2.3. State Descriptions -- 2.4...
”
Read Now
14
Samson Abramsky on
Logic
and Structure in Computer Science and Beyond
Published 2023
Springer International Publishing
Table of Contents:
“
... inverse categories (Robin Cockett and Chris Heunen) -- Chapter
22
-- Reductive
logic
, proof-search...
”
Read Now
15
Truth, Proof and Infinity : A Theory of Constructive Reasoning
by
Fletcher, P.
Published 1998
Springer Netherlands
Table of Contents:
“
...27. From
Logic
to the Calculus of Proof Functions -- 28. Calculus of Proof Functions -- 29. From...
”
Read Now
16
Kit Fine on Truthmakers, Relevance, and Non-classical
Logic
Published 2023
Springer International Publishing
Table of Contents:
“
... Correia’s ‘a new semantic framework for the
logic
of worldly grounding (and beyond)’ (Kit Fine) -- Chapter...
”
Read Now
17
On Truth : Original Manuscript Materials (1927–1929) from the Ramsey Collection at the University of Pittsburgh
by
Ramsey, Frank Plumpton
Published 1991
Springer Netherlands
Table of Contents:
“
...On Truth -- Introduction:
Logical
Values -- I. The Nature of Truth -- II. The Coherence Theory...
”
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 160 - Logic
Year of Publication
From:
To:
Classification
160 - Logic
Language
English
17
Collection
Springer Book Archives -2004
11
Springer eBooks 2005-
5
Elsevier eBook collection Mathematics
1
Author
Academia Republicii Socialiste România
1
Areces, Carlos
1
Binder, David
1
Coletti, Giulianella
1
Costa, Diana
1
Faroldi, Federico L. G.
1
more ...
Fitting, M.
1
Fletcher, P.
1
Fraïssé, R.
1
Galatos, Nikolaos
1
Hájek, Petr
1
International Congress for Logic, Methodology, and Philosophy of Science ( 1971, Bucharest, Romania)
1
International Union of the History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science
1
Majer, Ulrich
1
Marcja, Annalisa
1
Marx, Maarten
1
Mendelsohn, Richard L.
1
Menger, Karl
1
Mulder, Henk L.
1
Niiniluoto, I.
1
Norman, J.
1
Palmigiano, Alessandra
1
Piecha, Thomas
1
Ramsey, Frank Plumpton
1
Rescher, N.
1
Sadrzadeh, Mehrnoosh
1
Schroeder-Heister, Peter
1
Scozzafava, R.
1
Suppes, Patrick
1
Sylvan, R.
1
Terui, Kazushige
1
Toffalori, Carlo
1
Van De Putte, Frederik
1
Venema, Yde
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22160+-+Logic%22&lookfor=%2522Mathematical+Logic+AND+Foundations%2522&type=AllFields
Send by Email
×
Loading...