Switch to: Citations

References in:

Constructive set theoretic models of typed combinatory logic

Journal of Symbolic Logic 58 (1):99-118 (1993)

Add references

You must login to add references.

Functionals defined by recursion.Luis Elpidio Sanchis - 1967 - Notre Dame Journal of Formal Logic 8 (3):161-174.details Logic and Philosophy of Logic Direct download (5 more) Export citation Bookmark 9 citations
Topos Theory.P. T. Johnstone - 1982 - Journal of Symbolic Logic 47 (2):448-450.details Logic and Philosophy of Logic Direct download Export citation Bookmark 51 citations
Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1981 - Journal of Symbolic Logic 46 (1):165-165.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download Export citation Bookmark 30 citations

1