Sin categoría

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: 592