John L. Bell

	2008
15		John L. Bell: The axiom of choice and the law of excluded middle in weak set theories. Math. Log. Q. 54(2): 194-201 (2008)
	2007
14		John L. Bell: Incompleteness in a General Setting. Bulletin of Symbolic Logic 13(1): 21-30 (2007)
	2003
13		John L. Bell: Some new intuitionistic equivalents of Zorn's Lemma. Arch. Math. Log. 42(8): 811-814 (2003)
	2000
12		John L. Bell: Sets and Classes as Many. J. Philosophical Logic 29(6): 585-601 (2000)
	1999
11		John L. Bell: Frege's Theorem in A Constructive Setting. J. Symb. Log. 64(2): 486-488 (1999)
10		John L. Bell: Finite Sets and Frege Structures. J. Symb. Log. 64(4): 1552-1556 (1999)
9		John L. Bell: Boolean Algebras and Distributive Lattices Treated Constructively. Math. Log. Q. 45: 135-143 (1999)
	1996
8		John L. Bell: Polymodal Lattices and Polymodal Logic. Math. Log. Q. 42: 219-233 (1996)
7		John L. Bell, Silvia Gebellato: Precovers, Modalities and Universal Closure Operators in a Topos. Math. Log. Q. 42: 289-299 (1996)
6		John L. Bell, William Demopoulos: Elementary Propositions and Independence. Notre Dame Journal of Formal Logic 37(1): 112-124 (1996)
	1994
5		John L. Bell: Fregean Extensions of First-Order Theories. Math. Log. Q. 40: 27-30 (1994)
	1993
4		John L. Bell: Hilbert's epsilon-Operator in Intuitionistic Type Theories. Math. Log. Q. 39: 323-337 (1993)
	1988
3		John L. Bell: Toposes and local set theories - an introduction. Clarendon Press 1988: I-XII, 1-267
	1983
2		John L. Bell: On the Strength of the Sikorski Extension Theorem for Boolean Algebras. J. Symb. Log. 48(3): 841-846 (1983)
	1977
1		John L. Bell, Moshé Machover: A course in mathematical logic. North-Holland 1977: I-XVIII, 1-599

Coauthor Index

1	William Demopoulos	[6]
2	Silvia Gebellato	[7]
3	Moshé Machover	[1]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page