Afrodita Iorgulescu Book order

The monograph presents groundbreaking research on non-commutative algebras connected to logic, featuring results and examples that have not been previously published. The author attributes the rapid progress and significant findings to the assistance of the Prover9-Mace4 computer program, created by William W. McCune. This work showcases the intersection of advanced algebraic concepts and computational tools, highlighting the innovative methods used in the research process.

The monograph compiles the author's research findings from April 2019, encompassing insights from seven published papers. It delves into the development of innovative methodologies and theoretical frameworks, addressing significant questions in the field. By synthesizing these studies, the work offers a comprehensive overview of the author's contributions and advances understanding in the subject area, making it a valuable resource for researchers and scholars.