Computer Science Foundations and Applied Logic

Simple Type Theory

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Algorithms for Constructing Computably Enumerable Sets

Algorithms for Constructing Computably Enumerable Sets

Structural Decision Diagrams in Digital Test

Theory and Applications

Structural Decision Diagrams in Digital Test

Theory and Applications

Petri Net Primer

A Compendium on the Core Model, Analysis, and Synthesis

Petri Net Primer

A Compendium on the Core Model, Analysis, and Synthesis

Guide to Software Verification with Frama-C

Core Components, Usages, and Applications

Guide to Software Verification with Frama-C

Core Components, Usages, and Applications

Category Theory Using Haskell

An Introduction with Moggi and Yoneda

Category Theory Using Haskell

An Introduction with Moggi and Yoneda

Multi-valued Logic for Decision-Making Under Uncertainty

Multi-valued Logic for Decision-Making Under Uncertainty

Concise Guide to Fault Tree Analysis

Models, Methods and Algorithms

Proof Assistants and Their Applications in Mathematics and Computer Science

Simple Type Theory

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Causal Discovery

Foundations, Algorithms and Applications

First-Order Schemata and Inductive Proof Analysis

Concise Introduction to Alternating-Time Temporal Logics

A Guide for Understanding the Model-Checking Problem

Nature and Growth of Modern Mathematics

Mathematical Foundations of Quantum Mechanics

Best Writing on Mathematics 2018

Mathematical Logic

Foundations for Information Science