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

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

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

Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science...

Foundation of Mathematical Reasoning: Logic, Proofs and Set Theory