Propositional logic for topology-like matrices: a calculus with restricted substitution

✍ Scribed by Thomas M. Leschine

• Publisher: Springer Netherlands
• Year: 1978
• Tongue: English
• Weight: 308 KB
• Volume: 37
• Category: Article
• ISSN: 0039-3215
• DOI: 10.1007/bf02124802