Fagin Ronald. Probabilities on finite models. The journal of symbolic logic, vol. 41 (1976), pp. 50–58.Glébskij Ú. V., Kogan D. I., Liongon'kij M. I., and Talanov V. A.. Obém i dolá vypolnimosti formul uzkogo isčisléniá prédikatov. Kibérnétika (Kiev), no. 2 (1969), pp. 17–27.Glebskii Yu. V., Kogan D. I., Liogon′kii M. I., and Talanov V. A.. Range and degree of realizability of formulas in the restricted predicate calculus. English translation of the preceding. Cybernetics (New York), vol. 5 (for 1969, pub. 1972), pp. 142–154.Lynch James F.. Almost sure theories. Annals of mathematical logic, vol. 18 (1980), pp. 91–135.Murskij V. L.. Konéčnaá baziruémost′ toždéstv i drugié svojstva “počti vséh” konéčnyh algébr (A finite basis of identities and other properties of “almost all” finite algebras). Problémy kibérnétiki, vol. 30 (1975), pp. 43–56.Davies Roy O.. On n-valued Shejfer functions. Zeitschrift für mathematische Logik and Grundlagen der Mathematik, vol. 25 (1979), pp. 293–298.

Taylor, W.

发现好书期刊，享受阅读乐趣