Skip to main content alibris logo
Relational Methods in Computer Science - Brink, Chris (Editor), and Kahl, Wolfram (Editor), and Schmidt, Günther (Editor)
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency

The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus De Morgan observed that since a horse is an animal we should be able to infer that the head of a horse is the head of an animal. For this, Aristotelian syllogistic does not suffice: We require relational reasoning. George Boole, in his Mathematical Analysis of Logic of 1847, initiated the treatment of logic as part of mathematics, specifically as part of algebra. Quite ...

loading
Relational Methods in Computer Science 1997, Springer, Vienna

ISBN-13: 9783211829714

Trade paperback