Ebook: Automated reasoning in higher-order logic: set comprehension and extensionality in church`s type theory
Author: Brown Chad E
- Genre: Mathematics // Logic
- Tags: Type theory., Automatic theorem proving., Automatic theorem proving, Type theory, Mehrwertige Logik, Automatisches Beweisverfahren
- Series: Studies in logic 10
- Year: 2007
- Publisher: College Publications
- City: London
- 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)