Linked Data Explorerhttp://worldcat.org/entity/work/id/1220290099
Automated reasoning in higher-order logic : set comprehension and extensionality in Church's type theory
Open All Close All
http://schema.org/name
- "Automated reasoning in higher-order logic : set comprehension and extensionality in Church's type theory"@en
- "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 churchs type theory"