A correction to Embedding the elementary ontology of Stanisław Leśniewski into the monadic second-order calculus of predicates

DOI10.1007/BF00373278zbMath0614.03022OpenAlexW4206616631MaRDI QIDQ1820147

V. A. Smirnov

Publication date: 1986

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00373278

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

This page was built for publication: A correction to Embedding the elementary ontology of Stanisław Leśniewski into the monadic second-order calculus of predicates