Outstanding Contributions to Logic

Bezhanishvili / Iemhoff / Yang

Dick de Jongh on Intuitionistic and Provability Logics

Dick de Jongh on Intuitionistic and Provability Logics

Dick de Jongh on Intuitionistic and Provability Logics

Fachbuch2024BuchSpringerISBN 978-3-031-47920-5

Malinowski / Palczewski

Janusz Czelakowski on Logical Consequence

Janusz Czelakowski on Logical Consequence

Janusz Czelakowski on Logical Consequence

Fachbuch2024BuchSpringerISBN 978-3-031-44489-0

Piecha / Wehmeier

Peter Schroeder-Heister on Proof-Theoretic Semantics

Peter Schroeder-Heister on Proof-Theoretic Semantics

Peter Schroeder-Heister on Proof-Theoretic Semantics

Fachbuch2024BuchSpringerISBN 978-3-031-50980-3

Piecha / Wehmeier

Peter Schroeder-Heister on Proof-Theoretic Semantics

Peter Schroeder-Heister on Proof-Theoretic Semantics

Peter Schroeder-Heister on Proof-Theoretic Semantics

Fachbuch2024BuchSpringerISBN 978-3-031-50983-4

Arbeiter / Kennedy

The Philosophy of Penelope Maddy

The Philosophy of Penelope Maddy

The Philosophy of Penelope Maddy

Fachbuch2024BuchSpringerISBN 978-3-031-58424-4

Faroldi / Van De Putte

Kit Fine on Truthmakers, Relevance, and Non-classical Logic

Kit Fine on Truthmakers, Relevance, and Non-classical Logic

Kit Fine on Truthmakers, Relevance, and Non-classical Logic

Fachbuch2023BuchSpringerISBN 978-3-031-29414-3

Weiss / Birman

Saul Kripke on Modal Logic

Saul Kripke on Modal Logic

Saul Kripke on Modal Logic

Fachbuch2024BuchSpringerISBN 978-3-031-57634-8

Citkin / Vandoulakis

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics

Fachbuch2023BuchSpringerISBN 978-3-031-06845-4

Palmigiano / Sadrzadeh

Samson Abramsky on Logic and Structure in Computer Science and Beyond

Samson Abramsky on Logic and Structure in Computer Science and Beyond

Samson Abramsky on Logic and Structure in Computer Science and Beyond

Fachbuch2023BuchSpringerISBN 978-3-031-24116-1

Malinowski / Palczewski

Janusz Czelakowski on Logical Consequence

Janusz Czelakowski on Logical Consequence

Janusz Czelakowski on Logical Consequence

2024eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-031-44490-6

Madarász / Székely

Hajnal Andréka and István Németi on Unity of Science

Hajnal Andréka and István Németi on Unity of Science

Hajnal Andréka and István Németi on Unity of Science

From Computing to Relativity Theory Through Algebraic Logic

From Computing to Relativity Theory Through Algebraic Logic

Fachbuch2022BuchSpringerISBN 978-3-030-64189-4

Arieli / Zamansky

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics

Fachbuch2022BuchSpringerISBN 978-3-030-71260-0

Faroldi / de Putte

Kit Fine on Truthmakers, Relevance, and Non-classical Logic

Kit Fine on Truthmakers, Relevance, and Non-classical Logic

Kit Fine on Truthmakers, Relevance, and Non-classical Logic

2023eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-031-29415-0

Palmigiano / Sadrzadeh

Samson Abramsky on Logic and Structure in Computer Science and Beyond

Samson Abramsky on Logic and Structure in Computer Science and Beyond

Samson Abramsky on Logic and Structure in Computer Science and Beyond

2023eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-031-24117-8

Citkin / Vandoulakis

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics

2022eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-031-06843-0

Madarász / Székely

Hajnal Andréka and István Németi on Unity of Science

Hajnal Andréka and István Németi on Unity of Science

Hajnal Andréka and István Németi on Unity of Science

From Computing to Relativity Theory Through Algebraic Logic

From Computing to Relativity Theory Through Algebraic Logic

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-64187-0

Düntsch / Mares

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-71430-7

Arieli / Zamansky

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-71258-7

Galatos / Terui

Hiroakira Ono on Substructural Logics

Hiroakira Ono on Substructural Logics

Hiroakira Ono on Substructural Logics

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-76920-8

Casadio / Scott

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-66545-6