Step by Recursive Step: Church's Analysis of Effective Calculability (Q4359525)

From MaRDI portal
Revision as of 00:42, 20 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
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
    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

    Identifiers