A note on decidability of variables in intuitionistic propositional logic (Q5109220)

From MaRDI portal
scientific article; zbMATH DE number 7198313
Language Label Description Also known as
English
A note on decidability of variables in intuitionistic propositional logic
scientific article; zbMATH DE number 7198313

    Statements