Parte de la lógica vinculada con la lógica de predicados por su planteamiento intensional y con la lógica de clases por su planteamiento extensional.
Visitas: 688
Parte de la lógica vinculada con la lógica de predicados por su planteamiento intensional y con la lógica de clases por su planteamiento extensional.