Vista normal Vista MARC

Sistema de dedução natural-Teoria da prova (Topical Term)

Número de registos: 1
Forma preferida: Sistema de dedução natural-Teoria da prova

Machine generated authority record

Work cat.: (BNCV)19822: Barreto, Maria Nilde Fernandes 61454, Análise estruturada e formal das provas, 2009