SIERRA, MANUEL HERNANDO. Arboles de forzamiento semántico para operaciones entre conjuntos. Revista Facultad De Ciencias Básicas -. 1 ene 2017. . . F.I.: 
SIERRA, MANUEL HERNANDO. Precisiones sobre la derivada y la anti-derivada de la raíz de una potencia entera. Rev. Fac. Cienc. -. 1 jun 2016. . . F.I.: 
Agudelo-Agudelo, Juan C., Sierra-Aristizabal, Manuel H.. Restricted normal modal logics and levelled possible worlds semantics. J LOGIC COMPUT 24 687-704. 1 ago 2014. . . F.I.:0,512 [doi:10.1093/logcom/exs032]
Manuel Sierra Aristizabal. Lógica de las tautologías.. Ingeniería y Ciencia 8 99-119. 1 ene 2012. . . F.I.: 
SIERRA, MANUEL HERNANDO. Lógicas epistémica y doxástica con restricciones. Ingeniería y Ciencia -. 1 dic 2010. . . F.I.: 
SIERRA, MANUEL HERNANDO. Sistemas multi-modales de profundidad restringida. Ingeniería y Ciencia -. 1 dic 2008. . . F.I.: 
SIERRA, MANUEL HERNANDO. Caracterización semántica de la jerarquía SCR-n. Boletín De Matemáticas -. 1 ene 2007. . . F.I.: 
SIERRA, MANUEL HERNANDO. Lógica básica para la verdad y la falsedad. Ingeniería y Ciencia -. 1 ene 2007. . . F.I.: 
SIERRA, MANUEL HERNANDO. Sistema paracompleto LBPo¬C. Boletín De Matemáticas -. 1 ene 2007. . . F.I.: 
SIERRA, MANUEL HERNANDO. Arboles de forzamiento semántico para el sistema básico con afirmación y negación alternas. Boletín De Matemáticas -. 1 ene 2006. . . F.I.: