Trends in Logic
Fachbuch2025SpringerISBN 978-3-031-82993-2
Intensional Aspects of Proof-Theoretic Semantics
Fachbuch2024SpringerISBN 978-3-031-46923-7
Fachbuch2023SpringerISBN 978-3-031-04299-7
Intensional Aspects of Proof-Theoretic Semantics
Fachbuch2024SpringerISBN 978-3-031-46920-6
eBook (PDF mit Wasserzeichen)2025Springer International PublishingISBN 978-3-031-82994-9
eBook (PDF mit Wasserzeichen)2025Springer Nature SwitzerlandISBN 978-3-031-69940-5
eBook (PDF mit Wasserzeichen)2023Springer International PublishingISBN 978-3-031-44381-7
eBook (PDF mit Wasserzeichen)2022Springer Nature SwitzerlandISBN 978-3-031-04297-3
An Introduction to the General Algebraic Study of Non-classical Logics
eBook (PDF mit Wasserzeichen)2022Springer International PublishingISBN 978-3-030-85675-5
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
How Quantum Computers Have Inspired Logical Investigations
eBook (PDF mit Wasserzeichen)2018Springer International PublishingISBN 978-3-030-04471-8
Variations on the Propositional Logic of William T. Parry
eBook (PDF mit Wasserzeichen)2017Springer International PublishingISBN 978-3-319-70821-8
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
eBook (PDF mit Wasserzeichen)2015Springer International PublishingISBN 978-3-319-22557-9
Carnielli / Malinowski
eBook (PDF mit Wasserzeichen)2018Springer International PublishingISBN 978-3-319-98797-2
Belief Change through Direct Choice
eBook (PDF mit Wasserzeichen)2017Springer International PublishingISBN 978-3-319-53061-1
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
A Study of Mereology
eBook (PDF mit Wasserzeichen)2020Springer International PublishingISBN 978-3-030-36533-2
Adamowicz / Bigorajska / Zdanowski
eBook (PDF mit Wasserzeichen)2019Springer International PublishingISBN 978-3-030-28921-8