Normal view
MARC view
- Marra, Vincenzo
Marra, Vincenzo (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Aguzzoli, Stefano. 330590, Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2007.