Ebook: Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church’s Type Theory
Author: C. E. Brown
- Tags: Intelligence & Semantics, AI & Machine Learning, Computer Science, Computers & Technology, Logic, Pure Mathematics, Mathematics, Science & Math, Logic & Language, Philosophy, Politics & Social Sciences
- Series: SIL 010
- Year: 2007
- Publisher: College Publications
- Language: English
- djvu
Download the book Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church’s Type Theory for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)