1. Halpern J.Y., An Analysis of First-Order Logics of Probability, Artificial Intel-ligence 46 (1990), pp. 311–350.
2. Harrington L.A., (Ed.), Harvey Friedman's Research on the Foundations of Mathematics, Studies in Logic Vol. 117 (North-Holland 1985).
3. Höhle U., Stout L.N., Foundations of Fuzzy Sets, Fuzzy Sets and Systems 40 (1991), pp. 257–296.
4. Goldblatt R., Topoi: The Categorial Analysis of Logic, North-Holland, Amsterdam, 1980.
5. Greyson R., Heyting valued models for Intuitionistic Set Theory, Applications of Sheaves, Lecture Notes in Mathematics Vol. 753, Springer-Verlag 1979, pp 402–414.