A semantically complete extension sequence of the system \(\mathcal L^\ast\)

From MaRDI portal
Publication:866006