Existence of superposition bases in countable primitive-recursively closed classes of one-place functions

✍ Scribed by S. S. Marchenkov

• Publisher: SP MAIK Nauka/Interperiodica
• Year: 1980
• Tongue: English
• Weight: 287 KB
• Volume: 27
• Category: Article
• ISSN: 0001-4346
• DOI: 10.1007/bf01145429