Semanticas categoriales para lenguajes proposicionales - Meza Alcántara, David (MX, 2003)