Notas sobre la mecanización de las deducciones lógicas

• Autores: José Antonio López Brugos
• Localización: El Basilisco: Revista de materialismo filosófico, ISSN 0210-0088, Nº 2, 1978, págs. 83-92
• Idioma: español
• Enlaces
  • Texto completo (pdf)