本书主要介绍了等式可解性和计算复杂性相关的算法问题，以及恒等式和准恒等式可导性和可实现性问题。本书共分为五章，第一章为有限半群恒等式可行性问题计算复杂性；第二章为自由半群和环的相等问题；第三章为恒等式的可推导性和有限基数，包括恒等式可推导性一般问题，半群、群和环有限基数识别；第四章为有限代数中的准恒等式可实现性；第五章为有限定义的交换半群的相等问题复杂性。