- Vasco Brattka, Guido Gherardi. Effective choice and boundedness principles in computable analysis. Bulletin of Symbolic Logic, 17(1):73-117, 2011.
- Stevo Todorcevic. Combinatorial dichotomies in set theory. Bulletin of Symbolic Logic, 17(1):1-72, 2011.
- Samuel Coskey, Roman Kossak. The complexity of classification problems for models of arithmetic. Bulletin of Symbolic Logic, 16(3):345-358, 2010.
- Paul Corazza. The Axiom of Infinity and transformations j: V -> V. Bulletin of Symbolic Logic, 16(1):37-84, 2010.
- Yiannis N. Moschovakis. Kleene s amazing Second Recursion Theorem. Bulletin of Symbolic Logic, 16(2):189-239, 2010.
- Alasdair Urquhart. Von Neumann, Gödel and complexity theory. Bulletin of Symbolic Logic, 16(4):516-530, 2010.
- Richard A. Shore. Reverse mathematics: the playground of logic. Bulletin of Symbolic Logic, 16(3):378-402, 2010.
- Dilip Raghavan. Almost disjoint families and diagonalizations of length continuum. Bulletin of Symbolic Logic, 16(2):240-260, 2010.
- Peter Koellner. Strong logics of first and second order. Bulletin of Symbolic Logic, 16(1):1-36, 2010.
- Colin McLarty. What does it take to prove Fermat s Last Theorem? Grothendieck and the logic of number theory. Bulletin of Symbolic Logic, 16(3):359-377, 2010.