Reihe Applied Logic Series

Formal Aspects of Context

Frontiers in Belief Revision

The Semantics and Proof Theory of the Logic of Bunched Implications

Thirty Five Years of Automating Mathematics

Goal-Directed Proof Theory

Foundations of Bayesianism

New Essays in Free Logic

Fallacies Arising from Ambiguity

Foundations of Rational Agency

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implemen