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

Foundations of Logic and Mathematics: Applications to Computer Science Cryptography

Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications

Mathematical Logic: Foundations for Information Science (Progress in Computer and Applied Logic Book 25)