[1] Church A.: Introduction to Mathematical Logic. Part I. Second edition. Princeton Univ. Press, Princeton, NJ 1956 MR 1435972 | Zbl 1016.03500

[2] Halmos P. R.: Measure Theory. D. van Nostrand, New York – Toronto – London 1950 MR 0033869 | Zbl 0283.28001

[3] Kramosil I.: Extensional processing of probability measures. Internat. J. Gen. Systems 22 (1994), 2, 159–170 Zbl 0797.60002

[4] Kramosil I.: Nonstandard approach to possibility measures. Internat. J. Uncertainty, Fuzziness and Knowledge–Based Systems 4 (1996), 3, 275–301 MR 1400996 | Zbl 1232.28022

[5] Kramosil I.: Probabilistic first–order predicate calculus with doubled nonstandard semantics. In: IPMU 98 (Information Processing and Management of Uncertainty) – Proceedings of the Conference, vol. 2, Paris, July 6 – 10, 1998. Paris, La Sorbonne, pp. 1390–1397