Releases med C E Brown

Cover for C E Brown · Evriskon (Pocketbok) (2014)
Pocketbok
Evriskon
C E Brown
Cover for C E Brown · Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory (Studies in Logic, . Logic and Cognitive Systems) (Pocketbok) (2007)
Pocketbok
Automated Reasoning in Higher-or...
C E Brown