Return to Article Details El sistema Bp+: una lógica positiva mínima para la negación mínima Download Download PDF