TY - JOUR AU - Itala M.L. D'Ottaviano TI - The Completeness And Compactness Of A Three-Valued First-Order Logic. JO - Revista colombiana de matematicas PY - 1985 SP - 77 EP - 94 VL - 19 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/RCM_1985__19_181748/ ID - RCM_1985__19_181748 ER -