Switch to: Citations

References in:

The impredicativity of induction

In Michael Detlefsen (ed.), Proof, Logic and Formalization. London, England: Routledge. pp. 139--161 (1992)

Add references

You must login to add references.

No references yet.