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.
Kategorie:
Rok:
1996
Wydanie:
1
Wydawnictwo:
CRC Press
Język:
english
Strony:
707
ISBN 10:
0824796063
ISBN 13:
9780824796068
Serie:
Lecture Notes in Pure and Applied Mathematics
Plik:
DJVU, 4.84 MB
IPFS:
,
english, 1996