Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality
32,34 €
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:
