О математической логике и философии математики. Начальные сведения об основаниях математики: пер. с англ.

О математической логике и философии математики. Начальные сведения об основаниях математики: пер. с англ.

Détails bibliographiques
Auteur principal:	Ивс Г.
Autres auteurs:	Ньюсом К. В.
Langue:	russe
Publié:	Москва, Знание, 1968
Sujets:	математическая логика математика философские проблемы
Format:	Livre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=194044

Documents similaires

О философии математики: пер. с нем.
par: Вейль Г. Герман
Publié: (Москва, URSS, 2010)

Философские основания математики: учебное пособие
par: Жуков Н.И. Николай Иванович
Publié: (Минск, Университетское, 1990)

Закономерности развития современной математики. Методологические аспекты
Publié: (Москва, Наука, 1987)

Лекции по математической логике: учебное пособие
par: Мощенский В. А. Владимир Андреевич
Publié: (Минск, Изд-во Белорусского гос. ун-та, 1973)

Ч. 3 : Теория рекурсии; Справочная книга по математической логике
Publié: (1982)

Исследования по теории алгорифмов и математической логике: сборник
Publié: (Москва, Наука, 1979)

Очерки по философским вопросам математики
par: Молодший В. Н. Владимир Николаевич
Publié: (Москва, Просвещение, 1969)

Четыре лекции по философии математики, прочитанные на временных курсах для преподавателей средней школы летом 1912 года
par: Мордухай-Болтовской Д. Д. Дмитрий Дмитриевич
Publié: (Варшава, Типография Варшавского учебного округа, 1913)

Философские проблемы развития математики
par: Протопопов Ю. К. Юрий Константинович
Publié: (Москва, Высшая школа, 1983)

Задачи по теории множеств, математической логике и теории алгоритмов
par: Лавров И. А. Игорь Андреевич
Publié: (Москва, Наука, 1984)

Задачи по теории множеств, математической логике и теории алгоритмов
par: Лавров И. А. Игорь Андреевич
Publié: (Москва, Физматлит, 2006)

Ч. 1 : Теория моделей; Справочная книга по математической логике
Publié: (1982)

Задачи по теории множеств, математической логике и теории алгоритмов
par: Лавров И. А. Игорь Андреевич
Publié: (Москва, Физматлит, 2002)

Задачи по теории множеств, математической логике и теории алгоритмов
par: Лавров И. А. Игорь Андреевич
Publié: (Наука, 1975)

Очерки по философии математики: пер. с фр.
par: Фрейсин Ш.
Publié: (Санкт-Петербург, Издание редакции журнала "Образование", 1902)

Ч. 4 : Теория доказательств и конструктивная математика; Справочная книга по математической логике
Publié: (1983)

Введение в методологию математики: учебное пособие
par: Рыбников К. А. Константин Алексеевич
Publié: (Москва, Изд-во МГУ, 1979)

Краткая история математики
par: Павлов Е. А.
Publié: (Санкт-Петербург, Лань, 2022)

Основания математики. Теория доказательств: пер. с нем.
par: Гилберт Д. Давид
Publié: (Москва, Наука, 1982)

О сущности математики: [пер. с нем.]
par: Фосс А. Аурель
Publié: (Санкт-Петербург, [Б. и.], 1911)

Философско-методологические аспекты релевантной логики
par: Войшвилло Е. К. Евгений Казимирович
Publié: (Москва, Изд-во МГУ, 1988)

Методологические проблемы интуиционистской математики
par: Панов М. И. Михаил Иванович
Publié: (Москва, Наука, 1984)

Ч. 3; Избранные главы высшей математики
par: Колобов А. М. Александр Михайлович
Publié: (1971)

Актуальные проблемы математической физики и вычислительной математики: [сборник статей]
Publié: (Москва, Наука, 1984)

Лекции по математической логике и теории алгоритмов: учебное пособие; Ч. 2; Языки и исчисления
par: Верещагин Н. К
Publié: (Москва, МЦНМО, 2000)

Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов: учебное пособие
Publié: (СПб., Лань, 2008)

О природе математического знания. Очерки по методологии математики
par: Рузавин Г. И. Георгий Иванович
Publié: (Москва, Мысль, 1968)

Фундаментальные основы дискретной математики: информационная математика
par: Горбатов В. А. Вячеслав Афанасьевич
Publié: (Москва, Наука, 1999)

Основы дискретной математики: учебное пособие
par: Осипова В. А. Виктория Аркадьевна
Publié: (Москва, Форум, 2006)

Философские и методологические проблемы математики
par: Беляев Е. А. Евгений Александрович
Publié: (Москва, Изд-во Московского ун-та, 1981)

Сборник задач по математической логике и теории алгоритмов Учебное пособие
par: Игошин В. И. Владимир Иванович
Publié: (Москва, ООО "КУРС", 2019)

Очерки по логике квантовой механики: монография
par: Меськов В. С. Валерий Сергеевич
Publié: (Москва, Изд-во МГУ, 1986)

Философия математики
par: Земцов Ю. Т. Юрий Тимофеевич
Publié: (Москва, ЛЕНАНД, 2016)

Сб. 1. Математика. Метод, проблемы и значение её; Новые идеи в математике; Общее учение о математическом методе; Чистая математика и учение о протяженности; Новейшие работы о началах математики; Ценность и мнимая неценность математики
Publié: (1913)

Основы дискретной математики: учебное пособие
par: Горбатов В. А. Вячеслав Афанасьевич
Publié: (Москва, Высшая школа, 1986)

Ч. 2 : Теория множеств; Справочная книга по математической логике
Publié: (1982)

Сведения об авторах; Мы - математики
Publié: (2005)

Сведения об авторах; Мы - математики
Publié: (2007)

Основания математики. Логические исчисления и формализация арифметики.
par: Гильберт Д. Давид
Publié: (Москва, Наука, 1979)

Основания математики. Логические исчисления и формализация арифметики.
par: Гильберт Д. Давид
Publié: (Москва, Наука, 1982)