Reihe Applied Logic Series

Logical and Computational Aspects of Model-Based Reasoning

Logical and Computational Aspects of Model-Based Reasoning

An Introduction to Mathematical Logic and Type Theory

The Semantics and Proof Theory of the Logic of Bunched Implications

Foundations of Bayesianism

New Essays in Free Logic

Proof Theory and Automated Deduction

Frontiers in Belief Revision

Goal-Directed Proof Theory

Formal Aspects of Context