计算机科学中的逻辑专栏 – microsoft.com 电子书下载

原名:The Logic in Computer Science Column – microsoft.com
作品简介:计算机科学中的逻辑专栏 作者：Yuri Gurevich Microsoft Research One Microsoft Way，Redmond WA 98052，USA gurevich@microsoft.com 来自可逆逻辑门……