1. Decidability and expressiveness for first-order logics of probability;Abadi;Information and Computation,1994
2. An answer to Hellman's question: 'Does category theory provide a framework for mathematical structuralism?';Awodey;Philosophia Mathematica,2004
3. Objective Bayesian methods for model selection: introduction and comparison;Berger,2001
4. Ars Conjectandi;Bernoulli,1713
5. Probability and measure;Billingsley,1979