Step by Recursive Step: Church's Analysis of Effective Calculability (Q4359525)
From MaRDI portal
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
