Normal view
MARC view
Triana Mora, Elkin (Nombre personal)
Machine generated authority record.
Work cat.: (OSt)21710: Triana Mora, Elkin, Construcción de nuevos ejemplos de lógica epistémica para S4n por medio del método tableaux / , 2016