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

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

Библиографические подробности
Главный автор:	Клини С.К., Весли Р.
Формат:	‌
Язык:	Undetermined
Опубликовано:	М Наука 1978

Схожие документы

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

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

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

Искусство с социологической точки зрения
по: Гюйо Ж.М
Опубликовано: (1900)

Москва с точки зрения Эстрад. драматургия 20-60-х гг
Опубликовано: (1991)

Будущее человечества с точки зрения натуралиста
по: Шимкевич В.М
Опубликовано: (1923)

Теория информации с точки зрения биология
по: Серавин Л.Н
Опубликовано: (1973)

Инерция и тяготение с точки зрения теории относительности Эйнштейна
по: Арнольд В.В
Опубликовано: (1923)

Элементраная математика с точки зрения высшей Арифметика алгебра анализ
по: Клейн Ф.
Опубликовано: (1987)

Вычислимость. Введение в теорию рекурсивных функций
по: Катленд Н.
Опубликовано: (1983)

Теория рекурсивных функций и эффективная вычислимость
по: Роджерс Х.
Опубликовано: (1972)

Основания математики
по: Гильберт Д., Бернайс П
Опубликовано: (1982)

Элементарная математика с точки зрения высшей: В 2-х т.
по: Клейн Ф.
Опубликовано: (1987)

Основания математики Теория доказательств
по: Гильберт Д., Бернайс П.
Опубликовано: (1982)

Основания математики Логоческие исчисления и формализация арифметики
по: Гильберт Д., Бернайс П.
Опубликовано: (1982)

Основания математики Логические исчисления и формализация арифметика
по: Гильберт Д., Бернайс П.
Опубликовано: (1979)

Вычислимость. Введение в теорию рекурсивных функций - An introduction to recursive function theory
по: Катленд Н.
Опубликовано: (1983)

Неподвижние точки
по: Шашкин Ю.А
Опубликовано: (1989)

Неподвижные точки
по: Шашкин Ю.А
Опубликовано: (1989)

Без точки
по: Рахтанов И.А
Опубликовано: (1940)

Болевые точки Роман
по: Георгий Балл
Опубликовано: (1983)

Болевые точки Роман
по: Балл Г.
Опубликовано: (1983)

Математическая логика и основания математики
по: Новиков П.С
Опубликовано: (1973)

Показания гелиографов Кемпбеля - Стокса и Величко с точки зрения актинометрических наблюдений Из наблюдений Боровского опыт. лес-ва, Самар
по: Тольский А.П
Опубликовано: (1920)

Предсказание погоды для отдельных мест с точки зрения синоптической метеорологии Доложено в заседании Физ.-мат. отд-ния 4 февр. 1898 г.
Опубликовано: (1898)

Исследование плоских стержневых механизмов с низшими парами с точки зрения их структуры и классификации Ред. статья и примеч. акад. И.И.Артоболевского
по: Ассур Л.В
Опубликовано: (1952)

Исследование плоских стержневых механизмов с низшими парами с точки зрения их структуры и классификации Ред. статья и примеч. акад. И.И.Артоболевского
по: Ассур Л.В
Опубликовано: (1952)

Точки над "И" Басни с прописными моралями
по: Азов М.,Тихвинский Вл
Опубликовано: (1966)

Приключения точки и запятой

Осолые точки дифференциалных уравнений
по: Андреев А.Ф
Опубликовано: (1979)

Горячие точки поля повесть о футболе
по: Буряк Л.И
Опубликовано: (1985)

Основания кинетической теории Метод Н.Н.Боголюбова
по: Гуров К.П
Опубликовано: (1966)

Иллюзии зрения
по: Артамонов И.Д
Опубликовано: (1969)

Гигиена зрения
по: Самойлов А.Я
Опубликовано: (1953)

Инерция зрения
по: Луизов А.В
Опубликовано: (1961)

Физиология зрения
Опубликовано: (1992)

Гигиена зрения
по: Белецкая В.И., Шубина Н.В
Опубликовано: (1968)

Гигиена зрения
по: Самойлов А.Я
Опубликовано: (1953)

Иллюзии зрения
по: Артамонов И.Д
Опубликовано: (1964)

Гигиена зрения
по: Белецкая В.И., Шубина Н.В
Опубликовано: (1969)