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.

Скачать книгу бесплатно (pdf, 9.87 Mb)

---

Читать «Systems of reductions»