Keywords Search
 Keywords Search :  Record 0 Of 0

Content

The Undecidable : Basic papers on undecidable propositions, unsolvable problems and computable functions / Edited by Martin Davis

Call.No :	QA9.65 .U5
Record.No :	114626  [Book]
Personal name :	Davis, Martin,
Title :	The Undecidable : Basic papers on undecidable propositions, unsolvable problems and computable functions / Edited by Martin Davis
Sub Title :	Basic papers on undecidable propositions, unsolvable problems and computable functions
Publishing :	New York, [ United States ] : Raven Press , 1965
Description :	440p. : 24 cm
ISBN :	0911216014
Biblio Notes :	Includes index.
Subjects :	Decidablity (Mathematical logic)
	Godel's theorem
	Recursive functions
	Unsolvability (Mathematical logic)

V,P,I,C Title Location     × , × , × , 1   Main Library , 2nd Floor More ...

Attachments