Generating languages by a derivation procedure for elementary formal systems

From MaRDI portal
Publication:294648