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.

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

---

Читать «Logic and Algebra »