Vista normal Vista MARC Vista ISBD

Computability and logic

Boolos, George.

Computability and logic George S. Boolos, Richard C. Jeffrey. - Cambridge New York Cambridge University Press 1989. - x, 304 p. ill.

Includes bibliographical references and index.

ISBN: 052138026X 0521389232 (pbk.)

LCCN: 89032584

Subjects--Topical Terms:
Computable functions.
Logic, Symbolic and mathematical
Recursive functions.

LC Class. No.: QA9.59 / .B66 1989

Dewey Class. No.: 511.3

Imprimir
Citar
Agregar a su carrito (remover)
Guardar registro
BIBTEX Dublin Core ISBD MARC (no-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Estándar) MARCXML MODS (XML) RIS
Más búsquedas

Buscar este título en:
HORIZON