Universidad Nacional Autónoma de México
Facultad de Ciencias
Catálogo de la Biblioteca "Ricardo Monges López"

Computability and logic /

Boolos, George,

Computability and logic / Georges bools, Richard c. jeffrey - 3 - 304 páginas

052138026x 0-521-38923-2 (rustica)


Funciones recursivas
Lógica simbólica y matemática

QA248.5 / B65 1989

Universidad Nacional Autónoma de México 

Biblioteca "Ricardo Monges López" de la Facultad de Ciencias

©2023 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad