Cálculo de secuentes y gráficos existenciales Alfa, dos estructuras equivalentes para la lógica proposicional

Portada

Cargando...
Miniatura
RIUT-ABA-spa-2014-Cálculo de secuentes y gráficos existenciales Alfa. Dos estructuras equivalentes para la lógica proposicional.pdf

Citas bibliográficas

Gestores Bibliográficos

Mendeley

Indexadores

Google
Microsoft Academic

Código QR

QR