TY - GEN T1 - Máquinas de turing para consistentes: una posible definición A1 - Agudelo, Juan C. A2 - Sicard, Andrés. A2 - e-libro, Corp. LA - Spanish PP - Cali (Colombia) PB - Universidad del Valle YR - 2004 UL - https://colectivo.uloyola.es/Record/ELB26299 OP - 51 CN - QC173.6 A282 2004 KW - Matemática. : Publicaciones seriadas. : Colombia. KW - Mathematics. : Periodicals. : Colombia. KW - Artículos electrónicos. ER -