Recursive functions and intuitionistic number theory

David Nelson

Transactions of the American Mathematical Society · 1947 · 67 citations · 8 references

DOIFull text

Open access

Concepts

References

8