LoTTec

Lógica – Teorias e Técnicas

Hermógenes Oliveira
Hermógenes Oliveira
@hermogenes@lottec.pontofixo.net.br

Professor do Departamento de Filosofia da UFPB

33 posts
0 seguidor
  • 21/10/2022

    A tradução da lógica proposicional clássica na lógica proposicional intuicionista – Parte III

  • Cancelamento 23/09/2022

    Devido a convocação para reunião extraordinária do Departamento de Filosofia em horário conflitante, está cancelado o encontro do dia 23/09/2022.

  • 19/08/2022

    Noções básicas de LaTeX – Parte I