Lecture Notes in Computer Science Ser.: Design, User Experience and Usability

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mat

Advances in Cryptology Crypto 2003, D. Boneh, Lecture Notes in Computer Science

Lecture Notes in Computer Science Ser.: Theorem Proving in Higher Order Logics :

Frege's Theorem. Heck. 2014. PB. VG.

Lecture Notes in Computer Science Ser.: Computer Programs for Spelling...

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Math