Some Forms of Models of Propositional Calculi.by R. Harrop; H. Arnold Schmidt; K. Schutte; H.-J. Thiele;On the Equivalence for Non-Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models.by Ronald Harrop

✍ Scribed by Review by: Dolph Ulrich

• Book ID: 124972292
• Publisher: Association for Symbolic Logic
• Year: 1975
• Tongue: English
• Weight: 83 KB
• Volume: 40
• Category: Article
• ISSN: 0022-4812
• DOI: 10.2307/2271932