逻辑的乐趣

计算机科学家克里夫教授通过哲学、数学、科学和技术展示了对合理推理的确定性/基础知识的追求。