Vista normal
Vista MARC
Lógica proposicional clássica-Lógica de primeira ordem (Topical Term)
Machine generated authority record
Work cat.: (BNCV)19822: Barreto, Maria Nilde Fernandes 61454, Análise estruturada e formal das provas, 2009