Conditional excluded middle (Q732260)

From MaRDI portal





scientific article; zbMATH DE number 5612748
Language Label Description Also known as
English
Conditional excluded middle
scientific article; zbMATH DE number 5612748

    Statements

    Identifiers