1. Bennet, C., 1986a, On some orderings of extensions of arithmetic, Thesis, Department of Philosophy, University of Göteborg, Göteborg.
2. Bennet, C., 1986b, On a problem by D. Guaspari, in: Furberg, M. &al eds., Logic and Abstraction, Acta Philosophica Gothoburgensia 1, Göteborg, 61–69.
3. Bennet, J.H., 1962, On spectra, Thesis, Princeton University, Princeton.
4. Bezboruah, A., Shepherdson, J.C., 1976, Gödel’s second incompleteness theorem for Q, JSL 41, 503–512.
5. Buss, S., 1985, Bounded Arithmetic, Thesis, Princeton University, Princeton. Reprinted: 1986, Bibliopolis, Napoli.