Revista Colombiana de Matemáticas

Volumen 19 [ 1-2] ( 1985) Páginas

The completeness and compactness of a three-valued first-order logic

Itala M L D'Ottaviano