The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)

Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS

Theoretical Physics by Georg Joos and Ira M Freeman

Understanding cryptography

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Cambridge Tracts in Theoretical Computer Science - 4: Lambda-calculus,...

Elliptic Curves in Cryptography, Ian F. Blake, I. Blake, G. Seroussi LMS 265

Practical Cryptography in Python: Learning Correct Cryptography by Example