TY - JOUR AU - Negri, Maurizio TI - An algebraic completeness proof for Kleene's 3-valued logic JO - Bollettino della Unione matematica italiana PY - 2002 SP - 447 EP - 467 VL - 5B IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/BUMI_2002_8_5B_2_a9/ LA - en ID - BUMI_2002_8_5B_2_a9 ER -