Towards a good notion of categories of logics
Hugo Luiz Mariano Caio de Andrade Mendes; International Conference on Topology, Algebra, and Categories in Logic - TACL (5. (2011 Marseilles)
Book of abstracts Marseille : Laboratoire d’Informatique Fondamentale de Marseille - LIF-UMR, 2011Marseille Laboratoire d’Informatique Fondamentale de Marseille - LIF-UMR 2011
Acesso online. A biblioteca também possui exemplares impressos.