Los sistemas proposicionales LD5, ..., LD10 soportan una forma general de la paradoja de Russell y son →consistentes
The propositional systems LD5, ..., LD10 support a general form of Russell paradox and are→consistent
© 2001-2024 Fundación Dialnet · Todos los derechos reservados