1. Improved bounds on Bell numbers and on moments of sums of random variables;Berend;Probability and Mathematical Statistics,2010
2. Vicious circles;Barwise,1996
3. Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators;Cantone,1991
4. Decision procedures for stratified set-theoretic syllogistics;Cantone,1993
5. Techniques of computable set theory with applications to proof verification;Cantone,1995