TY - JOUR AU - A.B. ANDERSON AU - N.D. BELNAP JR. TI - First Degree Entailments. JO - Mathematische Annalen PY - 1963 SP - 302 EP - 319 VL - 149 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MAN_1963__149_161031/ ID - MAN_1963__149_161031 ER -