Основания интуиционистской математики с точки зрения теории рекурсивных функций: пер. с англ.

Основания интуиционистской математики с точки зрения теории рекурсивных функций: пер. с англ.

Bibliographic Details
Main Author:	Клини С. К. Стефен Коул
Other Authors:	Весли Р. Ричард
Language:	Russian
Published:	Москва, Наука, 1978
Series:	Математическая логика и основания математики
Subjects:	интуиционизм математика рекурсивные функции континуум
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=119555

Similar Items

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

Основы теории алгоритмов и рекурсивных функций
by: Людковский С. В.
Published: (Москва, РТУ МИРЭА, 2022)

Вычислимость. Введение в теорию рекурсивных функций: пер. с англ.
by: Катленд Н. Найджел
Published: (Москва, Мир, 1983)

Методологический анализ оснований математики
Published: (Москва, Наука, 1988)

Математическая логика и алгебра: Сборник статей
Published: (Москва, Наука, 2003)

Таксономия рекурсивных зависимостей; Молодежь и современные информационные технологии
by: Соколова В. В. Вероника Валерьевна
Published: (2005)

Обработка рекурсивных данных конечными автоматами; Известия Томского политехнического университета [Известия ТПУ]; Т. 309, № 7
by: Новосельцев В. Б. Виталий Борисович
Published: (2006)

Теория и алгоритмы обработки рекурсивных информационных структур: автореферат диссертации на соискание ученой степени кандидата технических наук
by: Соколова В. В. Вероника Валерьевна
Published: (Томск, [Б. и.], 2007)

Теория и алгоритмы обработки рекурсивных информационных структур: диссертация на соискание ученой степени кандидата технических наук; спец. 05.13.01
by: Соколова В. В. Вероника Валерьевна
Published: (Томск, [Б. и.], 2006)

Теория и алгоритмы обработки рекурсивных информационных структур: автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.13.01
by: Соколова В. В. Вероника Валерьевна
Published: (Томск, [Б. и.], 2007)

Автоматный подход к организации многомерных рекурсивных СУБД; Молодежь и современные информационные технологии
by: Новосельцев В. Б. Виталий Борисович
Published: (2006)

Введение в метаматематику: пер. с англ.
by: Клини С. К. Стефен К.
Published: (Москва, Изд-во иностранной литературы, 1957)

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

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

Топосы. Категорный анализ логики: пер. с англ.
by: Голдблатт Р.
Published: (Москва, Мир, 1983)

Формальное и интуитивное в математическом познании
by: Карпунин В. А. Валерий Андреевич
Published: (Ленинград, Изд-во ЛГУ, 1983)

Курс чистой математики
by: Харди Г. Х.
Published: (Москва, Государственное изд-во иностранной литературы, 1949)

Метаматематика элементарной математики: пер. с нем.
by: Энгелер Э. Эрвин
Published: (Москва, Мир, 1987)

Философия математики, физики, химии, биологии: учебное пособие
by: Канке В. А. Виктор Андреевич
Published: (М, Кнорус, 2011)

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

Алгоритмы и рекурсивные функции
by: Мальцев А. И. Анатолий Иванович
Published: (Москва, Наука, 1986)

Алгоритмы и рекурсивные функции
by: Мальцев А. И. Анатолий Иванович
Published: (Москва, Наука, 1965)

Т. 5: [обзоры]; Современные проблемы математики
Published: (1975)

Нейроны в поведении: системные аспекты
Published: (Москва, Наука, 1986)

Семиотический континуум учебное пособие
by: Путилина Л. В.
Published: (Оренбург, ОГУ, 2015)

Распределение зооплактона по продольному профилю двух нарушенных малых рек бассейна верхней Волги; Экология; № 5
by: Крылов А. В.
Published: (2004)

Конструктивная теория доказательств и нестандартный анализ
by: Драгалин А. Г. Альберт Григорьевич
Published: (Москва, Едиториал УРСС, 2003)

Доказуемое и недоказуемое
by: Манин Ю. И. Юрий Иванович
Published: (Москва, Советское радио, 1979)

Euclidian axiom 8 and the continuum-hypothesis; Перспективы развития фундаментальных наук
by: Sukhotin A. M. Aleksandr Mikhailovich
Published: (2013)

Проблема континуитета Третьего рейха в культурной политике Йозефа Пауля Геббельса; Трансформация научных парадигм и коммуникативные практики в информационном социуме
by: Билалутдинов М. Д. Марат Дамирович
Published: (2013)

Вычислимое и невычислимое
by: Манин Ю. И. Юрий Иванович
Published: (Москва, Сов. радио, 1980)

Восемь лекций по математическому анализу
by: Хинчин А. Я. Александр Яковлевич
Published: (Москва, Наука, 1977)

Элементарные рекурсивные функции
by: Марченков С. С. Сергей Серафимович
Published: (Москва, МЦНМО, 2003)

Лингвокультурология и лингвострановедение учебное пособие
by: Проскурин С. Г.
Published: (Новосибирск, НГТУ, 2019)

Элементы теории множеств и комбинаторики: учебное пособие
by: Бро Л. Р.
Published: (Ташкент, Изд-во ТИНХ, 1981)

Сельскохозяйственное производство с точки зрения теории систем Статья
by: Корнев Г. Н. Григорий Николаевич
Published: (Иваново, Ивановская государственная сельскохозяйственная академия имени академика Д.К.Беляева, 2011)

Механика континуума для инженеров
by: Фомин В. Л. Владимир Леонидович
Published: (Ленинград, Изд-во Ленинградского ун-та, 1975)

Основы теории рекурсивных КИХ-фильтров Монография
by: Турулин И.И. Игорь Ильич
Published: (Ростов-на-Дону, Издательство Южного федерального университета (ЮФУ), 2016)

Рекурсивное оценивание параметров сварочной цепи с помощью расширенного фильтра Калмана; Технологии Microsoft в теории и практике программирования
by: Пякилля Б. И. Борис Иванович
Published: (2016)

Основы теории элементарных алгоритмов: учебное пособие
by: Косовский Н. К. Николай Кириллович
Published: (Ленинград, Изд-во ЛГУ, 1987)