A note on undecidable extensions of monadic second order successor arithmetic (Q4088806)

From MaRDI portal
Revision as of 17:30, 12 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article; zbMATH DE number 3508482
Language Label Description Also known as
English
A note on undecidable extensions of monadic second order successor arithmetic
scientific article; zbMATH DE number 3508482

    Statements

    Identifiers