Tarski’s Influence on Computer Science (Q4611682)

From MaRDI portal
scientific article; zbMATH DE number 7003789
Language Label Description Also known as
English
Tarski’s Influence on Computer Science
scientific article; zbMATH DE number 7003789

    Statements

    title
    Tarski’s Influence on Computer Science (English)
    0 references
    author
    Solomon Feferman
    0 references
    publication date
    21 January 2019
    0 references
    zbMATH Keywords
    history of computing
    0 references
    Tarski
    0 references
    history of logic
    0 references
    completeness
    0 references
    cites work
    Q3714043
    0 references
    Q4079605
    0 references
    Q4255575
    0 references
    Q4831099
    0 references
    Q4391216
    0 references
    Q3686680
    0 references
    Q4385543
    0 references
    Data Types as Lattices
    0 references
    Q4808819
    0 references
    Q4391214
    0 references
    Q5761282
    0 references
    Q4040000
    0 references
    Q3265664
    0 references
    Q4783298
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03-03
    0 references
    68-03
    0 references
    01A70
    0 references
    zbMATH DE Number
    7003789
    0 references
    OpenAlex ID
    W4255606880
    0 references
    arXiv ID
    cs/0608062
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4611682&oldid=36463234"
    Powered by MediaWiki