4 books • 4 series
Book #832: Computer Science Logic
Book #40: Current Trends In Theoretical Computer Science: Essays And Tutorials