Reihe Trends in Logic

Types, Tableaus, and Gödel’s God

Probabilistic Logic in a Coherent Setting

Logic, Language and Reasoning

Logic, Action and Cognition

A Guide to Classical and Modern Model Theory

Dual Tableaux: Foundations, Methodology, Case Studies

Truth and Falsehood

Advanced Łukasiewicz calculus and MV-algebras

Paradoxes

Methods of Cut-Elimination