Search
Now showing items 21-30 of 275
Основания теории множеств
(Мир, 1966)
В ходе развития теории множеств, которая является основой построения большинства математических дисциплин, возникли чрезвычайно сложные проблемы непротиворечивости. Книга представляет собой наиболее полный из существующих ...
Семиотика и информатика. Выпуск 17
(ВИНИТИ, 1981)
Теория систем и система теорий
(Вища школа, 1977)
Монография посвящена методологии описания общей теории систем как системы взаимосвязанных теорий на основе ряда новых понятий и нетрадиционной интерпретации старых. Обсуждаются основы математического аппарата, приспособленного ...
Язык логики
(Наука, 1969)
От редактора:Научно-популярных книг по логике на русском языке пока нет. Говоря об отсутствии хороших массовых изданий по логике, я имею в виду не элементарные учебники, а именно книги, посвящённые самым началам этой науки, ...
Основы теоретической логики
(, 1947)
Что такое нестандартный анализ
(, 1987)
От алгоритмов к суждениям
(, 1973)
Математика в альтернативной теории множеств
(Мир, 1983)
Логический словарь-справочник
(Наука, 1975)
Словарь содержит более трех тысяч статей, в которых на уровне достижений современной науки излагаются основные понятия и категории классической традиционной и математической (символической) логик, рассказывается о применении ...
Математический интуиционизм. Введение в теорию доказательств
(Наука, 1979)
Цель этой небольшой книги — изложить важнейшие из методов теории доказательств в интуиционистской логике. Эта теория сейчас не менее богата методами и результатами, чем, например, пользующаяся заслуженной известностью ...