Biblioteca Univ. Surcolombiana catalog

Normal view MARC view ISBD view

Davis, Martin

Computability & unsolvability / Martin Davis - 248 p. + catÁlogo

ISBN: 0-486-61471-9

Subjects--Topical Terms:
Logica matematica
Funciones computables
Funciones recresivas

Dewey Class. No.: 511.3 / D193

Place hold
Print
Add to your cart (remove)
Save record
More searches