The þ-function in λ-<i>K</i>-conversion (Q5768088)

From MaRDI portal
Revision as of 15:38, 11 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 3029089
Language Label Description Also known as
English
The þ-function in λ-<i>K</i>-conversion
scientific article; zbMATH DE number 3029089

    Statements

    title
    The þ-function in λ-<i>K</i>-conversion (English)
    0 references
    author
    Alan M. Turing
    0 references
    publication date
    1937
    0 references
    zbMATH Keywords
    Foundations, philosophy, logic
    0 references

    Identifiers

    DOI
    10.2307/2268281
    0 references
    zbMATH DE Number
    3029089
    0 references
    OpenAlex ID
    W2798583139
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5768088&oldid=34481138"
    Powered by MediaWiki