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

From MaRDI portal
Publication:1078167