TY - JOUR AU - Rudeanu, Sergiu TI - Modus ponens booleano. JO - Mathware & soft computing PY - 1998 SP - 115 EP - 119 VL - 5 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MSC_1998_1998_1_a1/ LA - en ID - MSC_1998_1998_1_a1 ER -