Reihe Applied Logic Series

An Introduction to Mathematical Logic and Type Theory

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