Mostrando 2 resultados

Descrição arquivística
Evely Jalles Filho
Visualizar impressão
Visualização em ficha Visualização em tabela
Prova
BR SPCLEARQ AMACL-AP-D-Unicamp-IT005 · Item · 1986-05-07
Parte de Andrea Maria Altino de Campos Loparic
Prova de [Evely Jalles Filho] da disciplina de Introdução a Lógica, em 1986.
Prova
BR SPCLEARQ AMACL-AP-D-Unicamp-IT006 · Item · s.d.
Parte de Andrea Maria Altino de Campos Loparic
Prova de [Evely Jalles Filho] sobre o teorema da completude para cálculo de predicados com identidade.