Switch to: Citations

References in:

A note on omitting the replacement schema

Notre Dame Journal of Formal Logic 14 (1):118-120 (1973)

Add references

You must login to add references.

Omitting the replacement schema in recursive arithmetic.I. J. Heath - 1967 - Notre Dame Journal of Formal Logic 8 (3):234-238.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download (5 more) Export citation Bookmark 1 citation
Logic-free Formalisations of Recursive Arithmetic.R. L. Goodstein - 1959 - Journal of Symbolic Logic 24 (3):245-246.details Logic and Philosophy of Logic Direct download Export citation Bookmark 2 citations

1