Step by Recursive Step: Church's Analysis of Effective Calculability (Q4359525)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Step by Recursive Step: Church's Analysis of Effective Calculability |
scientific article; zbMATH DE number 1076085
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Step by Recursive Step: Church's Analysis of Effective Calculability |
scientific article; zbMATH DE number 1076085 |
Statements
Step by Recursive Step: Church's Analysis of Effective Calculability (English)
0 references
17 March 1998
0 references
Church's Thesis
0 references
Church
0 references
Bernays
0 references
Gödel
0 references
Kleene
0 references
Rosser
0 references
Turing
0 references
Post
0 references
