Logic书籍推荐

Supermarket

Bobby Hall

评分 7.2分

The stunning debut novel from one of the most creative artists of our generation, Bobby Hall, a.k.a. Logic. “Bobby Hall has crafted a mind-bending first novel, with prose that is just as fierce and m

Whether a Christian Woman Should Be Educated and Other Writings from Her Intellectual Circle

Anna Maria van Schurman

评分 暂无

Advocate and exemplar of women's education, Anna Maria van Schurman (1607-1678) was one of Reformation Europe's most renowned writers defending women's intelligence. A supporter of the female sex, she

面向计算机科学的数理逻辑

陆钟万

评分 7.6分

《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。