A STRUCTURAL CRITERION FOR RECURSIVE ENUMERATION WITHOUT REPETITION

Marian Boykan Pour‐El, William A. Howard

Mathematical logic quarterly · 1964 · 18 citations · 3 references

Concepts

References

3