Map of the Universe --- Model Theory

[Joao Marcos]

Em Bogotá, hoje, John Baldwin me mostrou este site:
https://www.forkinganddividing.com/

Achei tão bacana e bem feito, que me pareceu faler a pena
compartilhá-lo mais amplamente com a comunidade.

Joao Marcos

--
https://sites.google.com/site/sequiturquodlibet/

[Walter Carnielli]

Obrigado João,

Também aquí em Bogotá,  acabo de seguir o excelente tutorial  do JM , e aproveitando a "deixa" para mostrar um site/post  bem interessante que estou seguindo :

https://derangedmathematician.substack.com/

Abraços, 

Walter 

 ========================
 Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil

 AI2- Advanced Institute for Artificial Intelligence 

Blog https://waltercarnielli.com/

 

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lihs2-U1RnC295%3D2nrJiG_%3DCbowzQPuaZwz2uub_Z_p2g%40mail.gmail.com.