Outstanding Contributions to Logic

Weiss / Birman

Saul Kripke on Modal Logic

Saul Kripke on Modal Logic

Saul Kripke on Modal Logic

Fachbuch2024SpringerISBN 978-3-031-57634-8

Arbeiter / Kennedy

The Philosophy of Penelope Maddy

The Philosophy of Penelope Maddy

The Philosophy of Penelope Maddy

Fachbuch2024SpringerISBN 978-3-031-58424-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

Fachbuch2024SpringerISBN 978-3-031-24119-2

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

Fachbuch2024SpringerISBN 978-3-031-47920-5

Malinowski / Palczewski

Janusz Czelakowski on Logical Consequence

Janusz Czelakowski on Logical Consequence

Janusz Czelakowski on Logical Consequence

Fachbuch2024SpringerISBN 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

Fachbuch2024SpringerISBN 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

Fachbuch2024SpringerISBN 978-3-031-50983-4

Arbeiter / Kennedy

The Philosophy of Penelope Maddy

The Philosophy of Penelope Maddy

The Philosophy of Penelope Maddy

eBook (PDF mit Wasserzeichen)2024Springer International PublishingISBN 978-3-031-58425-1

Weiss / Birman

Saul Kripke on Modal Logic

Saul Kripke on Modal Logic

Saul Kripke on Modal Logic

eBook (PDF mit Wasserzeichen)2024Springer International PublishingISBN 978-3-031-57635-5

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

Fachbuch2023SpringerISBN 978-3-031-29414-3

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

Fachbuch2023SpringerISBN 978-3-031-06845-4

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

eBook (PDF mit Wasserzeichen)2024Springer Nature SwitzerlandISBN 978-3-031-47921-2

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

Fachbuch2023SpringerISBN 978-3-031-24116-1

Malinowski / Palczewski

Janusz Czelakowski on Logical Consequence

Janusz Czelakowski on Logical Consequence

Janusz Czelakowski on Logical Consequence

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

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

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

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

eBook (PDF mit Wasserzeichen)2022Springer International PublishingISBN 978-3-031-06843-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

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

Galatos / Terui

Hiroakira Ono on Substructural Logics

Hiroakira Ono on Substructural Logics

Hiroakira Ono on Substructural Logics

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

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

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

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

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