The Undecidable
Literature search on Evolutionary ComputationBBase ©1999-2013, Rasmus K. Ursem
     Home · Search · Adv. search · Authors · Login · Add entries   Webmaster
Note to authors: Please submit your bibliography and contact information - online papers are more frequently cited.

Info: 1965
Keywords:automata-theory
Notes:
{it ~\ Collection of articles on formally undecidable propositions. Contains translations of some of G"odel's famous papers.}
Internet search:Search Google
Search Google Scholar
Search Citeseer using Google
Search Google for PDF
Search Google Scholar for PDF
Search Citeseer for PDF using Google

Review item:

Mark as doublet (will be reviewed)

Print entry




BibTex:
@book{Davis65,editor = {Davis, M.},title = {The Undecidable},publisher = {Raven Press},address = {New York},year = 1965,key = {automata-theory},note = { {it ~\ Collection of articles on formally undecidable propositions.                  Contains translations of some of G"{o}del's famous papers.} }