Introduction to Higher-Order Categorical Logic 1988

文件大小:2MB 分类:文档书籍 创建时间:2023-08-05 热度:1

An Introduction to Mathematical Logic and Type Theory...2ed 2002

文件大小:26MB 分类:文档书籍 创建时间:2023-08-06 热度:1

Temporal Logic...Proof Theory to AI and Quantum Computing 2023

文件大小:9MB 分类:文档书籍 创建时间:2023-08-08 热度:1

[ ] Logic and How it Gets That Way (Acumen Research Editions)

文件大小:2MB 分类:文档书籍 创建时间:2023-08-08 热度:1

[ ] The Informational Logic of Human Rights - Network Imaginaries in the Cybernetic Age

文件大小:7MB 分类:文档书籍 创建时间:2023-08-09 热度:1

Use of Abstraction and Logic in Mathematics 2022

文件大小:16MB 分类:文档书籍 创建时间:2023-08-11 热度:1

Programmable Logic Controllers,

文件大小:97MB 分类:文档书籍 创建时间:2023-08-13 热度:1

Lectures in Logic and Set Theory. Vol 2. Set Theory 2003

文件大小:2MB 分类:文档书籍 创建时间:2023-08-16 热度:1

Systems of Formal Logic 2011

文件大小:7MB 分类:文档书籍 创建时间:2023-08-16 热度:1

Logic for Problem Solving, Revisited 2014

文件大小:11MB 分类:文档书籍 创建时间:2023-08-17 热度:1