Limit search to available items
Book Cover
Book
Author Davis, Martin, 1928- editor

Title The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
Published Hewlett, N.Y. : Raven Press, [1965]

Copies

Location Call no. Vol. Availability
 W'PONDS  512.02 Dav  AVAILABLE
Description 440 pages ; 25 cm
Bibliography Includes bibliographical references
Subject Computable functions.
Gödel's theorem.
Recursive functions.
Turing machines.
Unsolvability (Mathematical logic)
Author Davis, Martin, 1928-
LC no. 65003996
ISBN 0911216014