Logic in Computer Science的书评