1. [1] Andrews, P. B., An Introduction to Mathematical Logic and Type Theory: to Truth through Proof, Computer Science and Applied Mathematics Series, Academic Press, Orlando, 1986.
2. [2] Barwise, J., editor, Handbook of Mathematical Logic, Studies in Logic and the Foundations of Mathematics, vol. 90, North-Holland, Amsterdam, 1977.
3. [3] Brink, C., ``Verisimilitude: views and reviews,'' History and Philosophy of Logic, vol. 10 (1989), pp. 181--201.
4. [4] Brink, C., ``Power structures,'' Algebra Universalis, vol. 30 (1993), pp. 177--216.
5. [5] Brink, C., and J. Heidema, ``A versimilar ordering of theories phrased in a propositional language,'' British Journal for the Philosophy of Science, vol. 38 (1987), pp. 533--549.