Para Todxs: Natal - uma introdução à lógica formal

Abstract

Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se de uma versão rascunho, (0.7), em fase de revisão, e que deverá estar pronta para publicação até o final de 2021. Comentários, críticas, correções e sugestões são muito bem-vindos