The book under reviewing starts from the idea that equational logic is a fundamental and natural concept in computer science and mathematics. The author develops techniques for equational reasoning in higher-order logic.
by Christian Prehofer
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).