中图分类法:
|
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. |