On the construction of a logic in which inclusion has the meaning of the species-genus relation.

From MaRDI portal
Publication:562826