The Prospects for Mathematical Logic in the Twenty-First Century (Q2736583)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The Prospects for Mathematical Logic in the Twenty-First Century
scientific article

    Statements

    The Prospects for Mathematical Logic in the Twenty-First Century (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    10 September 2001
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    recursion theory
    0 references
    proof theory
    0 references
    computer science logic
    0 references
    model theory
    0 references
    set theory
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references