Automated reasoning in higher-order logic : set comprehension and extensionality in Church's type theory
ShareCopied to clipboardAutomated reasoning in higher-order logic : set comprehension and extensionality in Church's type theory is a book. It was written by Chad E. Brown and published by College Publications in 2007.
Key facts
- author: Chad E. Brown
- publication date: 2007
- book publisher: College Publications
- book series: Studies in logic
- book subjects: Type theory, Automatic theorem proving
See more factsExtract data
Download datasets about Automated reasoning in higher-order logic : set comprehension and extensionality in Church's type theory:
Dataset of books series that contain Automated reasoning in higher-order logic : set comprehension and extensionality in Church's type theory:
Dataset of book subjects that contain Automated reasoning in higher-order logic : set comprehension and extensionality in Church's type theory:
"Automated reasoning in higher-order logic : set comprehension and extensionality in Church's type theory" is one of the books by Chad E. Brown, books by College Publications and 2,617,384 books in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.