| |
| 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) | |