Postulates for the calculus of binary relations.

From MaRDI portal
Publication:2589524