This is the product description text that will appear here.
Quantity
1
Hyperidentities are important formulae of second-order logic, and research in hyperidentities paves way for the study of second-order logic and second-order model theory.
This book illustrates many important current trends and perspectives for the field of hyperidentities and their applications, of interest to researchers in modern algebr