Systems of reductions
Benjamin Benninghofen, Susanne Kemmerich, Michael M. Richter
The book studies equational logic of structures using systems of reductions. The process of completing a system is studied as well as properties of finite and infinite complete systems. A special example treated systematically is the case of groups which allow to interpret the behaviour of algorithms algebraically.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
