Search
Now showing items 31-40 of 275
Математическая логика и теория множеств
(Росвузиздат, 1963)
Из введения: Развитие современной науки все с большей необходимостью ставит вопрос о тесном союзе естествоиспытателей, математиков и философов.
Необходимость укрепления союза естествознания, математики, c одной стороны, ...
Формальная логика
(ЛГУ, 1977)
Теория моделей
(Мир, 1977)
Учение логики о доказательстве и опровержении
(Госполитиздат, 1954)
Необходимая для каждой науки связь её истин есть отражение связи реальной, существующей независимо от науки и от мышления. Связь эта — отражение связи вещей, их свойств, их отношений и их законов.
Но связь научных истин ...
О некоторых логических проблемах арифметики
(АН СССР, 1955)
Логический словарь-справочник
(Наука, 1975)
Словарь содержит более трех тысяч статей, в которых на уровне достижений современной науки излагаются основные понятия и категории классической традиционной и математической (символической) логик, рассказывается о применении ...
Основания математики, в 2-х томах. Том 1. Логические исчисления и формализация арифметики
(Наука, 1979)
Аннотация Двухтомная монография Д. Гильберта и П. Бернайса занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической ...
Заметки по логике
(Мир, 1968)
В наши дни широкого использования математических методов исследования во многих областях науки и искусства современная логика привлекает всё большее внимание исследователей. Однако при этом на первый план зачастую выходит ...
Проблемы логики
(Изд-во АН СССР, 1963)