Extensiones del sistema l3 de logica trivalente.

Tesis doctoral de Sarabia Alvarez Hude E. Jaime En la tesis se desarrollan temas formales sobre la logica l3 se […]

, , , , ,