Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations Applied Logic)

Set Theory (Studies in Logic: Mathematical Logic and Foundations)

Multi valued Logic for Decision Making Under Uncertainty (Computer Science Foundations and Applied Logic)

Causal Discovery: Foundations, Algorithms and Applications (Computer Science Foundations Applied Logic)

Logic in Computer Science: Modelling and Reasoning about Systems