Nosso objetivo aqui é apresentar dicas relacionadas ao no que diz respeito a suas aplicações na produção de textos de Lógica. Todas as dicas mencionadas aqui foram antes testadas em sistemas GNU. Portanto, não posso garantir que as mesmas funcionem em outros sistemas operacionais.
Além de dicas sobre o , incluirei traduções e artigos relacionados à Lógica e à Filosofia da Matemática, todos convertidos a arquivos html a partir de arquivos .tex. O uso destas ferramentas também será mencionado aqui.
Espero que a presente página seja de grande utilidade aos leitores e, principalmente, que ela incuta em seus espíritos o prazer de usar esta ferramenta livre para produção de textos acadêmicos e o prazer de usar um sistema operacional livre.