4 books • 3 series
Trust in Cyberspace
On Concurrent Programming (Texts in Computer Science)
A Logical Approach to Discrete Mathematics (Texts and Monographs in Computer Science)
A Logical Approach to Discrete Math (Monographs in Computer Science)