Логика естественных рассуждений - Кулик Б.А.
ISBN 5-7940-0080-5
Скачать (прямая ссылка):
[Мендельсон, 1984] Мендельсон Э. Введение в математическую логику. M.: Наука, 1984.
[Пуанкаре, 1983] Пуанкаре А. О науке. М.: Наука, 1983.
[Светлов, 1995] Светлов В. А. Практическая логика. СПб.: Изд-во РХГИ, 1995. [Скорняков, 1980] Скорняков Л. А. Элементы алгебры. М.: Наука, 1980. [Скорняков, 1982] Скорняков Л. А. Элементы теории структур. М.: Наука, 1982. [Стяжкин, 1967] Стяжкин Н. И. Формирование математической логики. M.: Наука, 1967.
[Godel, 1931] Godel К. Uber formal unentscheidbare Satze der Principia Mathe-matica und verwandter Systeme // Monatsh. Math. Phys. 1931. Vol. XXXVIII. P. 173-198.
[Krom, 1976] Krom M. R. The decision problem for a class offirst-order formulas in which all disjunctions are binary // Z. math. Logic Grundl. Math. 1976. Vol. 13. P. 15-20.
[von Neumann, 1925] Von Neumann J. Eine Axiomatisierung der Mengenlehre // J. Crelle. 1925. Vol. CLIV. P. 219-240.
[Reichenbach, 1961] Reichenbach H. Experience and Prediction. Chicago, 1961. P. 5-6.