Book serie: / Книги серии: Studies in logic 10 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Studies in logic 10

book 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

djvu

Author: Brown Chad E
Language: English
Year: 2007

00

30.01.2024

0

0

book 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

pdf

Author: C. E. Brown
Language: English
Year: 2007

00

27.01.2024

0

0