A second order logic of existence

From MaRDI portal
Publication:5609353