META-PROGRAMMING IN LOGIC PROGRAMMING
HARVEY ABRAMSON AND M.H.ROGERS2222 年出版545 页ISBN：0262510472
A Course in Mathematical Logic=数学逻辑教程
J. L. Bell ; M. Machover2015 年出版599 页ISBN：7510086304
Logic And Algebraic Structures In Quantum Computing
Jennifer Chubb ; Ali Eskandarian ; Valentina Harizanov2016 年出版346 页ISBN：1107033399
Digital Humanities Knowledge and Critique in a Digital Age
David M.Berry2017 年出版190 页ISBN：0745697666
Lecture Notes in Artificial Intelligence 4363 Logic Language
and Computation 6th International Tbilisi Symposium on Logic2222 年出版0 页ISBN：
DIGITAL FABRICATION IN ARCHITECTURE
ENGINEERING AND CONSTRUCTION2014 年出版218 页ISBN：9789400771369
