TY - JOUR AU - Criscuolo, Giovanni TI - Caracterización metateórica de la negación como fallo finito. JO - Mathware & soft computing PY - 1996 SP - 59 EP - 65 VL - 3 IS - 1-2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MSC_1996_1996_1_a4/ LA - en ID - MSC_1996_1996_1_a4 ER -