booksshare.net -> Добавить материал -> Логика -> Кулик Б.А. -> "Логика естественных рассуждений" -> 56

Логика естественных рассуждений - Кулик Б.А.

Кулик Б.А. Логика естественных рассуждений. Под редакцией Дюка В. А. — СПб.: Невский Диалект, 2001. — 128 c.
ISBN 5-7940-0080-5
Скачать (прямая ссылка): logika-estestvennih-rassujdeniy.djvuПредыдущая << 1 .. 50 51 52 53 54 55 < 56 >

[Мендельсон, 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.Предыдущая << 1 .. 50 51 52 53 54 55 < 56 >