2 books • 2 series
Learning Geometry (Progress in Theoretical Computer Science, v. 14)
Mathematical Logic and Theoretical Computer Science (Lecture Notes in Pure and Applied Mathematics, #106)