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

Algorithms for Constructing Computably Enumerable Sets (Computer Science Foundations and Applied Logic)

Proof Assistants and Their Applications in Mathematics Computer Science (Computer Foundations Applied Logic)

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical...