- CSB - MetaPress - Google - Bing - Yahoo
 | 1997 | |
|---|---|---|
| 3 |      | J. L. Bell: Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories. J. Symb. Log. 62(4): 1265-1279 (1997) |
| 1995 | ||
| 2 | | J. L. Bell: Type Reducing Correspondences and Well-Orderings: Frege's and Zermelo's Constructions Re-examined. J. Symb. Log. 60(1): 209-221 (1995) |
| 1981 | ||
| 1 | | J. L. Bell: Isomorphism of Structures in S-Toposes. J. Symb. Log. 46(3): 449-459 (1981) |