Re: [Logica-l] LaTeX para Mac

Também uso o MacTeX. On Mon, Aug 7, 2017 at 4:54 PM Fernando Yamauti wrote: > Baixa o pacote inteiro do MacTeX http://www.tug.org/mactex/ > > PS: O MacTeX contem o TeXShop entre outros editores e mais alguns > programas muito úteis (tipo BibDesk e LaTeXiT) > > Em 7 de

Re: [Logica-l] Russell - Gödel - Pergunta

Olá Ricardo, Recentemente investiguei (de forma muito breve) esse assunto, e encontrei este paper aqui: https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/article/div-classtitlerussell-and-godeldiv/0C347F171985A54395CDA89D31C4A59A O paper também tem uma lista de referências