The Completeness And Compactness Of A Three-Valued First-Order Logic. Itala M.L. D'Ottaviano — 1985 Revista colombiana de matematicas