I. Стяжкин Н. И. К вопросу о вкладе П. С. Порецкого в развитие математической логики. Вестн. МГУ, 1956, №1, сер. экономики, философии и права, стр. 103—109.

II. Стяжкин Н. И. К характеристике ранней стадии в развитии идей математической логики. «Научные доклады высшей школы», философские науки, 1958, № 3, стр. 95—101.

III. Стяжкин Н. И. Элементы алгебры логики и теории семантических антиномий в поздней средневековой логике. Сб. «Логические исследования», ИФ АН СССР, 1959, стр. 20—32. Эта статья относится к проблематике, с которой связано приложение к диссертации.

IV. Стяжкин Н. И. Упрощение П. С. Порецким некоторых алгоритмов классического исчисления высказываний. Сб. «Логические исследования». ИФ АН СССР, 1959, стр. 33—47.

1. Маркс К. К критике политической экономии. М., 1952, стр. 46.

2. Маркс К. и Энгельс Ф. Соч., т. 2. М., 1955, стр. 142.

3. Маркс К. и Энгельс Ф. Соч., т. I. изд. I. М.—Л., 1928, стр 140.

4. Маркс К. и Энгельс Ф. Соч., т. 12, ч. II. М., 1934, стр. 274.

[1] Гаврилов М. А. Теория релейно-контактных схем. М.—Л., 1950.

[2] De Morgan A. Formal logic or the calculus of inference Necessary and probable. London, 1847.

[3] Биркгоф Г. Теория структур. M., 1952.

[4] Гильберт Д. и Аккерман В. Основы теоретической логики. ИЛ, М.. 1947.

[5] Rhees R., Note in Editing. Collected logical works of G. Boole. Chicago and London, 1940, pp. 9—43.

[6] Feys R. Proc. Royal Irish Acad., 1955, vol. 57, No. 6, pp. 107—112.

[7] Blake A. Canonical expressions in Boolean algebra. Chicago, 1938, pp. 2, 22, 23, 38.

[8] Moody E. Truth and consequence in mediaval logic. Amsterdam, 1953.

[9] Жегалкин И. И. Математ. сб., т. 35, 1928, стр. 311—317.

[10] Stone M. Proc. Nat. Acad. Sei., vol. 21, 1935, pp. 103—105.

[11] The Journal of Symbolic logic, 1938, vol. 3, No. 2, p. 93.

[12] Boole G. An Investigation of the Laws of Thought. London, 1854, p. 101.

[13] Boole G. Collected logical works, vol. 2. Chicago and London, 1940.

[14] Порецкий П. С. Решение общей задачи теории вероятностей при помощи математической логики. Казань, 1886, стр. 83.

[15] Порецкий П. С. О способах решения логичских равенств и об обратном способе математической логики. Казань, 1883—1884, стр. 181.

[16] Schroder Е. Der Operationskreis des Logikkalküls. Leipzig, 1877, S. 4.

[17] Woodger J. H. Axiomatic method in biology. Cambridge, 1937.

[18] Woodger J. H. Biology and language. Cambridge, 1952.