HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC (Q2795296)

From MaRDI portal
Revision as of 08:24, 19 April 2024 by Importer (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC
scientific article

    Statements

    HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC (English)
    0 references
    0 references
    0 references
    18 March 2016
    0 references
    Heinrich Behmann
    0 references
    David Hilbert
    0 references
    decision problem
    0 references
    decision procedure
    0 references
    algebra of logic
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references