Maquinas de turing para consistentes una posible definicion

Bibliographic Details
Main Author: Agudelo, Juan C. (-)
Other Authors: Sicard, Andres
Format: eBook
Language:Castellano
Published: Cali (Colombia) : Universidad del Valle 2004.
Subjects:
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009857390106719
Description
Published:Vol. 12, No. 2(2004)-
Physical Description:37-51 pp
Publication Frequency:Semestral