Logic for languages containing referentially promiscuous expressions

From MaRDI portal
Publication:496327