Bookbot

Non-commutative Algebras. Pseudo-BCK Algebras versus m-pseudo-BCK Algebras

Paramètres

Pages
676pages
Temps de lecture
24heures

En savoir plus sur le livre

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.

Achat du livre

Non-commutative Algebras. Pseudo-BCK Algebras versus m-pseudo-BCK Algebras, Afrodita Iorgulescu

Langue
Année de publication
2024
product-detail.submit-box.info.binding
(rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer