Automated Reasoning in Higher-Order Logic: Set Comprehension and
27,60 €
Many mathematical and computational concepts can be represented in a natural way using higher-order logic. Three families of sequent calculi are defined and proven sound and complete with respect to appropriate model classes.
Jetzt bei Ebay:
