Switch to: Citations

References in:

On n-quantifier induction

Charles Parsons

Journal of Symbolic Logic 37 (3):466-482 (1972)

Add references

You must login to add references.

Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.details Logic and Philosophy of Logic Direct download Export citation Bookmark 170 citations
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.Justus Diller & Kurt Schütte - 1971 - Archive for Mathematical Logic 14 (1-2):69-74.details No categories Direct download Export citation Bookmark 5 citations
Interpretation of analysis by means of constructive functionals of finite types.Georg Kreisel - 1959 - In A. Heyting (ed.), Constructivity in Mathematics. Amsterdam: North-Holland Pub. Co.. pp. 101--128.details Areas of Mathematics in Philosophy of Mathematics $47.89 used (collection) View on Amazon.com Export citation Bookmark 55 citations

1