Universal Complete Boolean Algebras and Cardinal Collapsing. - John L. Bell (Math. Log. Q., 1976)

A Note on Generic Ultrafilters. - John L. Bell (Math. Log. Q., 1976)

A course in mathematical logic. - John L. Bell; Moshé Machover (North-Holland, 1977)

Isomorphism of Structures in S-Toposes. - John L. Bell (J. Symb. Log., 1981)

On the Strength of the Sikorski Extension Theorem for Boolean Algebras. - John L. Bell (J. Symb. Log., 1983)

Toposes and local set theories - an introduction. - John L. Bell (Clarendon Press, 1988)

Hilbert's ɛ-operator and classical logic. - John L. Bell (J. Philos. Log., 1993)

Hilbert's ϵ-Operator in Intuitionistic Type Theories. - John L. Bell (Math. Log. Q., 1993)

Fregean Extensions of First-Order Theories. - John L. Bell (Math. Log. Q., 1994)

Type Reducing Correspondences and Well-Orderings: Frege's and Zermelo's Constructions Re-examined. - John L. Bell (J. Symb. Log., 1995)

Book reviews. - David Kemmerer; Kenneth Aizawa; Donald H. Berman; Stacey L. Edgar; James E. Tomberlin; J. Christopher Maloney; John L. Bell; Stuart C. Shapiro; Georges Rey; Morton L. Schagrin; Robert A. Wilson; Patrick J. Hayes (Minds Mach., 1995)

Polymodal Lattices and Polymodal Logic. - John L. Bell (Math. Log. Q., 1996)

Precovers, Modalities and Universal Closure Operators in a Topos. - John L. Bell; Silvia Gebellato (Math. Log. Q., 1996)

Elementary Propositions and Independence. - John L. Bell; William Demopoulos (Notre Dame J. Formal Log., 1996)

Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories. - John L. Bell (J. Symb. Log., 1997)

Frege's Theorem in A Constructive Setting. - John L. Bell (J. Symb. Log., 1999)

Finite Sets and Frege Structures. - John L. Bell (J. Symb. Log., 1999)

Boolean Algebras and Distributive Lattices Treated Constructively. - John L. Bell (Math. Log. Q., 1999)

Sets and Classes as Many. - John L. Bell (J. Philos. Log., 2000)

Some new intuitionistic equivalents of Zorn's Lemma. - John L. Bell (Arch. Math. Log., 2003)

Incompleteness in a General Setting. - John L. Bell (Bull. Symb. Log., 2007)

The axiom of choice and the law of excluded middle in weak set theories. - John L. Bell (Math. Log. Q., 2008)

Types, Sets, and Categories. - John L. Bell (Sets and Extensions in the Twentieth Century, 2012)

Axiomatization and Completeness for Some Restricted Second-Order Languages. - John L. Bell (J. Multiple Valued Log. Soft Comput., 2023)

Recollections of logicians, mathematicians and philosophers. - John L. Bell (Log. J. IGPL, 2023)

A parametrized axiomatization for a large number of restricted second-order logics. - Guillermo Badia; John L. Bell (J. Log. Comput., 2024)