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.
种类:
年:
1996
出版:
1
出版社:
CRC Press
语言:
english
页:
707
ISBN 10:
0824796063
ISBN 13:
9780824796068
系列:
Lecture Notes in Pure and Applied Mathematics
文件:
DJVU, 4.84 MB
IPFS:
,
english, 1996