当逻辑遇到工程：历史和哲学中的逻辑问题简介…… 电子书下载

原名:When logic meets engineering: introduction to logical issues in the history and philosophy of …
作品简介:实践和理论探究始终是一个概念过程，包括计算机科学中的 Mal 方法，人们还应该参与。柯尔莫哥洛夫 (Kolmogorov) 和海廷 (Heyting) 在 20 世纪 30 年代初出版的《直觉逻辑》。……