Concepedia

Solution of the identity problem for integral exponential functions

Daniel Richardson

Mathematical logic quarterly · 1969 · 58 citations · 1 references

DOI

Concepts

References

1

Some undecidable problems involving elementary functions of a real variable

Daniel Richardson · Journal of Symbolic Logic · 1969 · 259 citations

, , +9