Embedding the elementary ontology of stanisław Leśniewski into the monadic second-order calculus of predicates

✍ Scribed by V. A. Smirnov

• Publisher: Springer Netherlands
• Year: 1983
• Tongue: English
• Weight: 661 KB
• Volume: 42
• Category: Article
• ISSN: 0039-3215
• DOI: 10.1007/bf01063840