Most Popular Books
- The Design And Analysis Of Algorithms
- Dynamic Logic (Foundations of Computing)
- Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings
- Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science)
Series By Dexter Kozen
