Larisa Maksimova on Implication, Interpolation, and Definability

Larisa Maksimova on Implication, Interpolation, and Definability

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Odintsov, Sergei (Editor)
Summary:	XII, 371 p. 9 illus. text
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Edition:	1st ed. 2018.
Series:	Outstanding Contributions to Logic, 15
Subjects:	Logic. Mathematical logic. Computer science. Analysis (Philosophy). Computer arithmetic and logic units. Mathematical Logic and Foundations. Computer Science Logic and Foundations of Programming. Analytic Philosophy. Arithmetic and Logic Structures.
Online Access:	https://doi.org/10.1007/978-3-319-69917-2
Format:	Electronic Book

Similar Items

Mathematical Logic On Numbers, Sets, Structures, and Symmetry /
by: Kossak, Roman
Published: (2018)

Mathematical Logic On Numbers, Sets, Structures, and Symmetry /
by: Kossak, Roman
Published: (2024)

The Logic, Philosophy, and History of the Lambda-Calculus Theory and Applications /
by: Zerpa, Levis
Published: (2024)

British Versions of Book II of Euclid’s Elements: Geometry, Arithmetic, Algebra (1550–1750)
by: Corry, Leo
Published: (2022)

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
Published: (2021)

Neighborhood Semantics for Modal Logic
by: Pacuit, Eric
Published: (2017)

Ewa Orłowska on Relational Methods in Logic and Computer Science
Published: (2018)

Logic Without Gaps or Gluts How to Solve the Paradoxes Without Sacrificing Classical Logic /
by: Burgis, Benjamin Alan
Published: (2022)

Arbitrary Reference in Logic and Mathematics
by: Carrara, Massimiliano, et al.
Published: (2024)

Raymond Smullyan on Self Reference
Published: (2017)

Ludwig Wittgenstein’s Philosophical Investigations An Attempt at a Critical Rationalist Appraisal /
by: Agassi, Joseph
Published: (2018)

First-Order Modal Logic
by: Fitting, Melvin, et al.
Published: (2023)

Models and Inferences in Science
Published: (2016)

Objectivity, Realism, and Proof FilMat Studies in the Philosophy of Mathematics /
Published: (2016)

Themes from Weir: A Celebration of the Philosophy of Alan Weir
Published: (2024)

The Panenmentalist Philosophy of Science From the Recognition of Individual Pure Possibilities to Actual Discoveries /
by: Gilead, Amihud
Published: (2020)

Dick de Jongh on Intuitionistic and Provability Logics
Published: (2024)

Ultralogic as Universal? The Sylvan Jungle - Volume 4 /
by: Routley, Richard
Published: (2019)

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics
Published: (2021)

Paradoxes Between Truth and Proof
Published: (2024)

Introduction to Formal Philosophy
Published: (2018)

Philosophy of Science for Scientists
by: Johansson, Lars-Göran
Published: (2016)

Top-Down Causation and Emergence
Published: (2021)

On Hilbert's Sixth Problem
by: da Costa, Newton C. A., et al.
Published: (2022)

Laws and Explanations; Theories and Modal Possibilities
by: Koslow, Arnold
Published: (2019)

Quantum, Probability, Logic The Work and Influence of Itamar Pitowsky /
Published: (2020)

Hiroakira Ono on Substructural Logics
Published: (2022)

Philosophy's Loss of Logic to Mathematics An Inadequately Understood Take-Over /
by: Park, Woosuk
Published: (2018)

Reflections on the Foundations of Mathematics Univalent Foundations, Set Theory and General Thoughts /
Published: (2019)

Truth-Seeking by Abduction
by: Niiniluoto, Ilkka
Published: (2018)

Samson Abramsky on Logic and Structure in Computer Science and Beyond
Published: (2023)

Mathematics, Logic, and their Philosophies Essays in Honour of Mohammad Ardeshir /
Published: (2021)

Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction
Published: (2024)

Prawitz's Epistemic Grounding An Investigation into the Power of Deduction /
by: Piccolomini d’Aragona, Antonio
Published: (2023)

Causal Nets, Interventionism, and Mechanisms Philosophical Foundations and Applications /
by: Gebharter, Alexander
Published: (2017)

Modelling Nature: An Opinionated Introduction to Scientific Representation
by: Frigg, Roman, et al.
Published: (2020)

The Philosophers and Mathematics Festschrift for Roshdi Rashed /
Published: (2018)

Handbook of the History and Philosophy of Mathematical Practice
Published: (2020)

Paul Lorenzen -- Mathematician and Logician
Published: (2021)

Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
Published: (2018)