Logic and Algebra
Aldo Ursini, Paulo Agliano
A collection of papers based on presentations at a conference held in honor of the late Italian mathematician Roberto Magari, a leading force in the blossoming of research in mathematical logic and universal algebra in Italy since the 1960s. Attempting to unite the fields of mathematical logic and general algebra, 40 contributors provide coverage of topics such as SDL-trees and their abstractions, proof-nets, three-element groupoids, logic of proofs, Boolean universal algebra.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.