Imagen Principal
1 2

Bunched Implications Logic: Semantics and Proof Theory (Applied Logic Series, Volume 26)

Imagen ampliada