Showing 2 results

Archival description
Evely Jalles Filho
Print preview
Card view Table view
Prova
BR SPCLEARQ AMACL-AP-D-Unicamp-IT006 · Item · s.d.
Part of Andrea Maria Altino de Campos Loparic
Prova de [Evely Jalles Filho] sobre o teorema da completude para cálculo de predicados com identidade.