Trends in Logic
Fachbuch2025SpringerISBN 978-3-031-69939-9
Fachbuch2024SpringerISBN 978-3-031-44383-1
Fachbuch2025SpringerISBN 978-3-031-82993-2
From the Logic of Questions to Proof Theory
Fachbuch2025SpringerISBN 978-3-031-82450-0
Intensional Aspects of Proof-Theoretic Semantics
Fachbuch2024SpringerISBN 978-3-031-46923-7
Intensional Aspects of Proof-Theoretic Semantics
Fachbuch2024SpringerISBN 978-3-031-46920-6
Fachbuch2023SpringerISBN 978-3-031-04299-7
Fachbuch2023SpringerISBN 978-3-031-44380-0
eBook (PDF mit Wasserzeichen)2023Springer International PublishingISBN 978-3-031-44381-7
An Introduction to the General Algebraic Study of Non-classical Logics
eBook (PDF mit Wasserzeichen)2022Springer International PublishingISBN 978-3-030-85675-5
eBook (PDF mit Wasserzeichen)2022Springer International PublishingISBN 978-3-031-04297-3
A Study of Mereology
eBook (PDF mit Wasserzeichen)2020Springer International PublishingISBN 978-3-030-36533-2
Schuster / Seisenberger / Weiermann
Well-Quasi Orders in Computation, Logic, Language and Reasoning
Well-Quasi Orders in Computation, Logic, Language and Reasoning
A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
eBook (PDF mit Wasserzeichen)2020Springer International PublishingISBN 978-3-030-30229-0
eBook (PDF mit Wasserzeichen)2020Springer International PublishingISBN 978-3-030-30221-4
Trends in Logical Semantics
eBook (PDF mit Wasserzeichen)2020Springer International PublishingISBN 978-3-030-53487-5
Fazio / Ledda / Paoli
eBook (PDF mit Wasserzeichen)2020Springer International PublishingISBN 978-3-030-52163-9
A New Perspective on Constructivist Semantics
eBook (PDF mit Wasserzeichen)2015Springer Nature SwitzerlandISBN 978-3-319-05206-9
eBook (PDF mit Wasserzeichen)2015Springer International PublishingISBN 978-3-319-22557-9
Andreas / Verdée
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
eBook (PDF mit Wasserzeichen)2016Springer International PublishingISBN 978-3-319-40220-8
Belief Change through Direct Choice
eBook (PDF mit Wasserzeichen)2017Springer International PublishingISBN 978-3-319-53061-1