中图分类法:
O15 版次:
题名:
Algebraic and proof-theoretic aspects of non-classical logics : [ papers in honor of Daniele Mundici in the occasion of his 60th birthday /] / ,
出版发行:
出版地: Berlin ; 出版社: Springer, 出版日期: c2007.
载体形态:
viii, 308 p. : ill. ; 24 cm.
主题词:
Algebra.
主要责任者:
Aguzzoli, Stefano.