Vista normal
Vista MARC
- Gerla, Brunella.
Gerla, Brunella. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)298149: Aguzzoli, Stefano. editor. 334335, Algebraic and Proof-theoretic Aspects of Non-classical Logics :