Árboles de forzamiento semántico para el sistema básico con afirmación y negación alternas

• Autores: Manuel Sierra A.
• Localización: Boletín de matemáticas, ISSN 0120-0380, ISSN-e 2357-6529, Vol. 12, Nº. 2, 2005, págs. 155-183
• Idioma: español
• Enlaces
  • Texto completo (pdf)