FEEDBACK Smiley face
Davis, Martin

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions - New York : Dover Publications, ©1965. - 440 p. ; 25 cm.

Includes bibliographical references.

9780486432281

65003996


Recursive functions.
Gödel's theorem.
Turing machines.
Unsolvability (Mathematical logic)
Computable functions.

QA248.5 / .D33

512.8 / DAV-U

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in