Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

scientific article; zbMATH DE number 3900718

From MaRDI portal
Publication:3679149
Jump to:navigation, search

zbMATH Open0565.03002MaRDI QIDQ3679149FDOQ3679149


Authors: Stephen Cole Kleene Edit this on Wikidata


Publication date: 1982



Title of this publication is not available (Why is that?)



Recommendations

  • scientific article; zbMATH DE number 1665441
  • Recursive functions: an archeological look
  • An early history of recursive functions and computability from Gödel to Turing
  • scientific article; zbMATH DE number 480999
  • Recursion theory
  • scientific article; zbMATH DE number 478433
  • scientific article; zbMATH DE number 1176133
  • Recursive Functions and Constructive Mathematics


Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory (03Dxx)



Cited In (5)

  • Recursive functions: an archeological look
  • The independence of control structures in abstract programming systems
  • Computational foundations of basic recursive function theory
  • An early history of recursive functions and computability from Gödel to Turing
  • Title not available (Why is that?)





This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3679149)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3679149&oldid=17154865"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 5 February 2024, at 07:46. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki