Chad E. Brown

Popular items by Chad E. Brown

View all offers

Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory (Studies in Logic, . Logic and Cognitive Systems)
Brown, Chad E.

Item prices starting from

� 26.91

View 18 offers

Also find
New, Used
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday (Studies in Logic: Mathematical Logic and Foundations)

Item prices starting from

� 25.15

View 14 offers

Also find
New, Used