The Logic of Choice (Q4527924)

From MaRDI portal
scientific article; zbMATH DE number 1558185
Language Label Description Also known as
English
The Logic of Choice
scientific article; zbMATH DE number 1558185

    Statements

    The Logic of Choice (English)
    0 references
    0 references
    0 references
    23 November 2001
    0 references
    choice operators
    0 references
    Hilbert's epsilon symbol
    0 references
    delta operator
    0 references
    independent choice
    0 references
    abstract state machines
    0 references
    0 references
    0 references
    0 references

    Identifiers

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