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

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

Xehetasun bibliografikoak
Egile nagusia:	Клини С. К. Стефен Коул
Beste egile batzuk:	Весли Р. Ричард
Hizkuntza:	errusiera
Argitaratua:	Москва, Наука, 1978
Saila:	Математическая логика и основания математики
Gaiak:	интуиционизм математика рекурсивные функции континуум
Formatua:	Liburua
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=119555

Antzeko izenburuak

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ишемическая болезнь сердца и хроническая обструктивная болезнь легких: патогенетические взаимосвязи, особенности терапии учебн.-метод. пособие
nork: Кузнецов А. Н.
Argitaratua: (Нижний Новгород, ПИМУ, 2017)

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

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

Теория рекурсии для программистов
nork: Головешкин В. А. Василий Адамович
Argitaratua: (Москва, Физматлит, 2006)