[Logica-l] EBL 2014 - extended deadline

=== [ please distribute - apologies for multiple copies ] === Call for Papers for the XVII Brazilian Logic Conference (EBL 2014) 7-11 April 2014 Laboratório Nac

[Logica-l] Sobre injetividade e sobrejetividade

Olás, Vendo essa última discussão sobre "injetividade e sobrejetividade" mais gerais do Arthur, lembrei de ter visto algo assim no livro do Enderton de Teoria dos Conjuntos: Def. Um conjunto a é single-rooted (de raiz única, digamos) se para todo y na imagem de a existe um único x no dom

[Logica-l] [OFF] novo livro "Elementos de Matemática Discreta"

Escrito pelos nossos colegas lá do IST, em Lisboa, e publicado na série "Cadernos de Lógica e Computação" da College Publications: Elementos de Matemática Discreta Jose Carmo, Paula Gouveia, Francisco Miguel Dionisio http://www.collegepublications.co.uk/clc/?5 Link para o índice: http://goo.gl