Post para marcar o início da nova fase do blog. A expectativa é construir um repositório para os entusiasta da lógica matemática que estejam caminhando rumo aos temas intermediários e avançados da lógica, computabilidade e fundamentos teóricos da computação.