Pode ser obtido em http://www.tug.org/pracjourn/2010-1/garcia.
Este artigo tem o objetivo de compartilhar a nossa experiência sobre LaTeX e apresentar a caixa de ferramentas que os alunos da disciplina de Lógica Formal do Mestrado em Ciência da Computação da Universidade Federal de Santa Catarina (UFSC) utilizam para elaborar apostilas, livros didáticos, artigos, dissertações de mestrado e resolver exercícios. Apresentamos algumas ferramentas que consideramos úteis para os alunos que estão desenvolvendo trabalhos na área de Lógica Formal: estilos de provas, sítios úteis, estilos de numeração e referência de proclamações, referências bibliográficas em formato BibTeX e indicações de leitura. Os trabalhos desenvolvidos nessa área necessitam de um certo formalismo e rigor; nós creditamos que tais características podem ser alcançadas através do LaTeX. É uma publicação pelo The PracTeX Journal, 2010, nº 1. Minha observação: este trabalho pode ser baixado gratuitamente pelo sítio do PracTeX Journal. a) Arthur Buchsbaum
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
