Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable (Q5658080)

From MaRDI portal
Revision as of 19:17, 4 August 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q114696438, #quickstatements; #temporary_batch_1722794872778)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 3389006
Language Label Description Also known as
English
Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable
scientific article; zbMATH DE number 3389006

    Statements

    Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable (English)
    0 references
    0 references
    1972
    0 references

    Identifiers