Математический интуиционизм введение в теорию доказательств

Математический интуиционизм введение в теорию доказательств

Библиографические подробности
Главный автор:	Драгалин А.Г
Соавтор:	Физико-Математической литературы
Формат:	‌
Язык:	Undetermined
Опубликовано:	М Наука 1979

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

Интуиционизм Введение
по: Гейтинг А.
Опубликовано: (1965)

Теория доказательств
по: Такеути Г.
Опубликовано: (1978)

Введение в аналитическую теорию чисел
по: Постников А.Г
Опубликовано: (1971)

Введение в теорию рецепторов
по: Галактионов С.Г. и.др
Опубликовано: (1986)

Введение в теорию кодирования
по: Марков А.А
Опубликовано: (1982)

Введение в теорию размерности . Введение в теорию топологических пространств и общую теорию размерности.
по: Александров П.С., Пасынков Б.А
Опубликовано: (1973)

Введение в теорию перевода
по: Федоров А.В
Опубликовано: (1953)

Введение в теорию эволюции
по: Северцов А.С
Опубликовано: (1981)

Введение в теорию вероятностей
по: Колмогоров А.Н
Опубликовано: (1982)

Введение в теорию климата
по: Монин А.С
Опубликовано: (1982)

Введение в теорию перевода
по: Федоров А.В
Опубликовано: (1953)

Введение в теорию перевода
по: Федоров А.В
Опубликовано: (1953)

Введение в теорию дисклинаций
по: Лихачев В.А., Хайров Р.Ю
Опубликовано: (1975)

Введение в теорию дисклинаций
по: Лихачев В.А., Хайров Р.Ю
Опубликовано: (1975)

Введение в теорию автоматов
Опубликовано: (1985)

Введение в теорию пространств
по: Кусис П.
Опубликовано: (1984)

Введение в теорию люминесценции
по: Степанов Б.И., Грибковский В.П
Опубликовано: (1963)

Введение в теорию узлов
по: Кроуэлл Р., Фокс Р.
Опубликовано: (1967)

Введение в теорию осадконакопления
по: Казанский Ю.Ш
Опубликовано: (1983)

Введение в теорию колебаний
по: Стрелков С.П
Опубликовано: (1951)

Введение в теорию колебаний
по: Стрелков С.П
Опубликовано: (1964)

Введение в теорию детонации
по: Фикетт У.
Опубликовано: (1988)

Введение в теорию конфлитка
по: Дружинин В.В. и др
Опубликовано: (1989)

Введение в теорию флаттера
по: Лампер Р. Е.
Опубликовано: (1990)

Введение в теорию графров
по: Уилсон Р.
Опубликовано: (1977)

Введение в теорию групп
по: Александров П.С
Опубликовано: (1980)

Введение в теорию гироскопов
по: Лунц Я.Л
Опубликовано: (1972)

Введение в теорию металлов
по: Френкель Я.И
Опубликовано: (1972)

Введение в теорию расписаний
по: Танаев В.С., Шкурба В.В
Опубликовано: (1975)

Введение в теорию ошибок
по: Тейлор Дж
Опубликовано: (1985)

Введение в теорию солитонов
по: Лэм Дж.Л
Опубликовано: (1983)

Введение в теорию железобетона
по: Столяров Я.В
Опубликовано: (1941)

Введение в теорию колебаний
по: Стрелков С.П
Опубликовано: (1950)

Введение в теорию осадконакопления
по: Казанский Ю.П
Опубликовано: (1983)

Введение в теорию металлов
по: Френкель Я.И
Опубликовано: (1950)

Введение в теорию металлов
по: Френкело Я.И
Опубликовано: (1950)

Введение в теорию цвета
по: Ивенс Р.М
Опубликовано: (1964)

Введение в теорию железобетона
по: Столяров Я.В
Опубликовано: (1941)

Введение в теорию матриц
по: Беллман Р.
Опубликовано: (1969)

Введение в теорию матриц
по: Беллман Р.
Опубликовано: (1976)