Biblioteca Jorge Álvarez Lleras

Your cart is empty.

Your search returned 3 results.

Not what you expected? Check for suggestions
Computability and unsolvability/ Martin Davis

by Davis, Martin.

Language: English Publisher: New York: Dover Publications 1982Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 D194c (1).

Place hold Add to cart
The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions / edited by Martin Davis

by Davis, Martin [Ed.].

Publisher: Mineola: Dover Publications, 1993Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 U533 (1).

Place hold Add to cart
The Undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions / Edited by Martin Davis

by Davis, Martin [Ed.].

Publisher: New York: Dover Publications 1965Availability: Items available for loan: Biblioteca Jorge Álvarez LlerasCall number: 511.3 U533 (1).

Place hold Add to cart