Talk:Logical Methods in Computer Science