[Logica-l] apresentação do pacote turnstile para LaTeX em The Comprehensive LaTeX Symbol List, por Scott Pakin

2014-01-01 Por tôpico Arthur Buchsbaum
Caros colegas: O pacote turnstile para LaTeX que programei há alguns anos está sendo cada vez mais reconhecido pela comunidade de usuários, pelo menos conforme aparece em documentos tais como The Comprehensive LaTeX Symbol List, por Scott Pakin, em

[Logica-l] EBL 2014 Call for Papers - extended deadline

2014-01-01 Por tôpico samuel
=== [ please distribute - apologies for multiple copies ] === Call for Papers for the XVII Brazilian Logic Conference (EBL 2014) 7-11 April 2014 Laboratório