COMPOUND STATEMENTS AND MATHEMATICAL LOGIC
VINCENT E.CANGELOSI1967 年出版114 页ISBN：
Deontic logic and legal systems
Pablo E. Navarro2014 年出版261 页ISBN：9780521767392
Computer architecture and logic design
Bartee Thomas C1991 年出版628 页ISBN：0070039097
Quantum computation and quantum information = 量子计算与量子信息（10周年版）
Isaac L. Chuang ; Michael A. Nielsen2015 年出版676 页ISBN：7302394853
Hodge theory and complex algebraic geometry II
Claire Voisin ; translated by Leila Schneps.2003 年出版351 页ISBN：0511063555
