Mostrando 1 - 1 Resultados de 1 Para Buscar 'Wallen, Lincoln A.', tiempo de consulta: 0.01s Limitar resultados
  1. 1
    Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics
    por Wallen, Lincoln A.
    Publicado 1990
    Otros Autores: “…Wallen, Lincoln A.…”
    Libro

Herramientas de búsqueda: