1. Ballester, A., D. Cardus, and E. Trillas (eds): 1982, Proceedings of the Second World Conference on Mathematics at the Service of Man, Las Palmas.
2. Ganti, S.M.: 1978, ‘Characterization of Pseudo-Metric Lattices’, Mathematics Seminar Notes, University of Kobe 6, 341–4.
3. Katz, M.: 1982, ‘Real-Valued Models with Metric Equality and Uniformly Continuous Predicates’, Journal of Symbolic Logic 47, 772–92.
4. Kleene, S.C.: 1952, Introduction to Metamathematics, New York.
5. Kuipers, T.A.F.: 1982, ‘Approaching Descriptive and Theoretical Truth’, Erkenntnis 18, 343–78.