The Finite Model Property and Subsystems of Classical Propositional Calculus (Q3261412): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q1239306
Property / author
 
Property / author: Ronald Harrop / rank
Normal rank
 

Revision as of 17:12, 22 February 2024

scientific article
Language Label Description Also known as
English
The Finite Model Property and Subsystems of Classical Propositional Calculus
scientific article

    Statements

    The Finite Model Property and Subsystems of Classical Propositional Calculus (English)
    0 references
    1959
    0 references
    philosophy and foundations of mathematics
    0 references

    Identifiers