The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions.

Saved in:

Bibliographic Details
Author / Creator:	Davis, Martin, 1928- ed.
Imprint:	Hewlett, N.Y. : Raven Press, [1965]
Description:	440 p. ; 25 cm.
Language:	English
Subject:	Recursive functions Gödel's theorem Turing machines Unsolvability (Mathematical logic) Computable functions Computable functions. Gödel's theorem. Recursive functions. Turing machines. Unsolvability (Mathematical logic)
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/608899

Hidden Bibliographic Details
Notes:	Includes bibliographical references.

Description
Physical Description:	440 p. ; 25 cm.
Bibliography:	Includes bibliographical references.

Similar Items