Properties and the Interpretation of Second-Order Logic

From MaRDI portal
Publication:5495519