Результаты поиска для 'se,phr:"Математическая логика и основания математики"' › Национальная библиография Электронный каталог

Уточнить поиск

Наличие
- Ограничить записями с доступными экземплярами
Авторы
Item types
- Книга (25)
Места хранения
Заглавие серии
- Математическая логика и основания математики (25)
Предметные рубрики
Коллекции
- NB (25)
Библиотека хранения
- РНБ (Московский) (25)
Языки
- английский (6)
- немецкий (1)
- русский (25)

	1.		КнигаМатематическая логика / Дж. Шенфилд ; Перевод с англ. И.А. Лаврова и И.А. МальцеваШенфилд, Джозеф Дольберт1975Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 76-3/235 (2). Добавить в подборку (удалить)
	2.		КнигаМодальная логика : Пер. с доп. / Под ред. [и с предисл.] Г.Е. МинцаФейс, Роберт1974Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 74-3/1916 (2). Добавить в подборку (удалить)
	3.		КнигаФункции алгебры логики и классы Поста / С.В. Яблонский, Г.П. Гаврилов, В.Б. КудрявцевЯблонский, Сергей Всеволодович (1924-1998) -- АвторГаврилов, Гарий Петрович;Кудрявцев, Валерий Борисович1966Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 66-3/1729 (1). Добавить в подборку (удалить)
	4.		КнигаСинтез цифровых автоматовГлушков, Виктор Михайлович (1923-1982)1962Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 63-3/712 (2). Добавить в подборку (удалить)
	5.		КнигаМатематический интуиционизм : Введ. в теорию доказательствДрагалин, Альберт Григорьевич1979Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 80-3/20 (1). Добавить в подборку (удалить)
	6.		КнигаРекурсивный математический анализ / Пер. с англ. А.О. Слисенко ; Под ред. Г.Е. МинцаГудстейн, Рейбен Луис (1912-1985)1970Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 70-3/2382 (1). Добавить в подборку (удалить)
	7.		КнигаТеория нумерацийЕршов, Юрий Леонидович (1940-)1977Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 78-3/2272 (2). Добавить в подборку (удалить)
	8.		КнигаВведение в теорию моделей и метаматематику алгебры / Пер. с англ. А.Б. Волынского ; Под ред. [и с предисл.] А.Д. ТаймановаРобинсон, Авраам (1918-1974)1967Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 67-3/5937 (1). Добавить в подборку (удалить)
	9.		КнигаМатематическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли ; Перевод с англ. Г.В. Давыдова и др.Чень, Ч.Тян-Ли, Р.1983Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 83-5/4195 (1). Добавить в подборку (удалить)
	10.		КнигаЛекции о вычислимых функцияхУспенский, Владимир Андреевич (1930-2018)1960Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 60-3/4986 (2). Добавить в подборку (удалить)
	11.		КнигаЭлементы математической логикиНовиков, Петр Сергеевич (1901-1975)1973Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 73-3/9348 (1). Добавить в подборку (удалить)
	12.		КнигаМатематика метаматематики / Перевод с англ. В.А. ЯнковаРасева, ЕленаСикорский, Роман1972Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 71-5/7624 (1). Добавить в подборку (удалить)
	13.		КнигаКонструктивная математическая логика с точки зрения классической / П.С. НовиковНовиков, Петр Сергеевич (1901-1975)1977Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 77-3/5990 (1). Добавить в подборку (удалить)
	14.		КнигаЭлементы математической логикиНовиков, Петр Сергеевич (1901-1975)1959Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 59-3/6462 (2). Добавить в подборку (удалить)
	15.		КнигаЛекции по конструктивному математическому анализуКушнер, Борис Абрамович1973Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 73-3/9394 (1). Добавить в подборку (удалить)
	16.		КнигаДесятая проблема ГильбертаМатиясевич, Юрий Владимирович1993Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 92-5/3326 (2). Добавить в подборку (удалить)
	17.		КнигаОснования математики : Логич. исчисления и формализация арифметики / Пер. с нем. Н.М. Нагорного ; Под ред. [и с предисл.] С.И. АдянаГильберт, Давид (1862-1943)Бернайс, Пауль1982Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 83-5/3081 (2). Добавить в подборку (удалить)
	18.		КнигаОснования математики : Лог. исчисления и формализация арифметики / Пер. с нем. Н.М. Нагорного ; Под ред. [и с предисл.] С.И. АдянаХильберт, ДавидБернайс, Пауль1979Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 80-5/1926 (2). Добавить в подборку (удалить)
	19.		КнигаОснования интуиционистской математики с точки зрения теории рекурсивных функций / Пер. с англ. Ф.А. Кабакова и Б.А. КушнераКлини, Стефан Коул (1909-)Весли, Ричард1978Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 78-3/4104 (1). Добавить в подборку (удалить)
	20.		КнигаМатематическая теория логического вывода : Сборник переводов / Под ред. А.В. Идельсона и Г.Е. Минца1967Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 67-5/3336 (1). Добавить в подборку (удалить)

Уточнить поиск

Наличие

Авторы

Item types

Места хранения

Заглавие серии

Предметные рубрики

Коллекции

Библиотека хранения

Языки

Ваш поиск дал 25 результатов