Ч. 1 : Теория моделей

Ч. 1 : Теория моделей

Bibliographische Detailangaben
Parent link:	Справочная книга по математической логике: в 4-х частях/ под ред. Дж. Барвайса. Ч. 1 : Теория моделей.— , 1982-1983
Zusammenfassung:	Перевод изд.: Handbook of mathematical logic
Sprache:	Russisch
Veröffentlicht:	1982
Schlagworte:	математика математическая логика модели однородные множества кривые поверхности анализ инфинитезимальный справочники
Format:	Buch
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=32707

Ähnliche Einträge

Инфинитезимальный анализ
von: Гордон Е. И. Евгений Израилевич
Veröffentlicht: (Новосибирск, Изд-во Ин-та математики СО РАН, 2001)

Ч. 1
Veröffentlicht: (2000)

Теория моделей пер. с англ.
von: Кейслер Г. Дж. Говард Джером
Veröffentlicht: (Москва, Мир, 1977)

Конструктивные модели
von: Гончаров С. С. Сергей Савостьянович
Veröffentlicht: (Новосибирск, Научная книга, 1999)

Математическая логика учебное пособие
von: Ершов Ю. Л. Юрий Леонидович
Veröffentlicht: (Москва, Наука, 1979)

Задачи по теории множеств, математической логике и теории алгоритмов
von: Лавров И. А. Игорь Андреевич
Veröffentlicht: (Москва, Наука, 1984)

Mathematik Mit 524 Bildern und 414 Beispielen
von: Hilbert Alfred Von Dr
Veröffentlicht: (Leipzig, Fachbuchverlag, 1989)

Основания теории множеств пер. с англ.
von: Френкель А. А. Абрахам А.
Veröffentlicht: (Москва, Мир, 1966)

Теория моделей и ее применения сборник научных трудов
Veröffentlicht: (Новосибирск, Наука, 1988)

Введение в математическую логику пер. с англ.
von: Мендельсон Э. Эллиот
Veröffentlicht: (Москва, Наука, 1984)

Дискретная математика Математика для менеджера в примерах и упражнениях учебное пособие
von: Москинова Г. И. Галина Ивановна
Veröffentlicht: (Москва, Логос, 2000)

Т. 1: Общие разделы
Veröffentlicht: (1999)

Высшая математика учебное пособие
von: Мочалин А. А. Алексей Алексеевич
Veröffentlicht: (Саратов, Изд-во Саратовского ГТУ, 2001)

Алгебра и логика сборник научных трудов
Veröffentlicht: (Новосибирск, Изд-во ИМ СО РАН, 1991)

Алгебра и логика сборник научных трудов
Veröffentlicht: (Новосибирск, Ин-т математики СО АН СССР, 1991)

Алгебра и логика сборник научных трудов
Veröffentlicht: (Новосибирск, Изд-во ИМ СО РАН, 1991)

Математика для гуманитариев учебное пособие
von: Грес П. В. Павел Власович
Veröffentlicht: (Москва, Логос, 2003)

Дискретная математика. Контролирующие материалы к тестированию
von: Бабичева И. В.
Veröffentlicht: (Санкт-Петербург, Лань, 2022)

Фундаментальные основы дискретной математики информационная математика
von: Горбатов В. А. Вячеслав Афанасьевич
Veröffentlicht: (Москва, Наука, 1999)

Дискретная математика учебник
von: Спирина М. С. Марина Савельевна
Veröffentlicht: (Москва, Академия, 2006)

Дискретная математика учебник
von: Спирина М. С. Марина Савельевна
Veröffentlicht: (Москва, Академия, 2007)

Ч. 4 : Теория доказательств и конструктивная математика
Veröffentlicht: (1983)

Теория не локально связных континуумов учебное пособие
von: Одинцов А. А. Андрей Альбертович
Veröffentlicht: (Москва, Изд-во МГУ, 1991)

Ч. 1
Veröffentlicht: (2009)

Задачи по теории множеств, математической логике и теории алгоритмов
von: Лавров И. А. Игорь Андреевич
Veröffentlicht: (Москва, Физматлит, 2002)

Ч. 3 : Теория рекурсии
Veröffentlicht: (1982)

Теория формальных языков Вводный курс пер. с англ.
von: Рейуорд-Смит В. Дж
Veröffentlicht: (Москва, Радио и связь, 1988)

Основы дискретной математики учебное пособие
von: Осипова В. А. Виктория Аркадьевна
Veröffentlicht: (Москва, Форум, 2006)

Математический интуиционизм. Введение в теорию доказательств
von: Драгалин А. Г. Альберт Григорьевич
Veröffentlicht: (Москва, Наука, 1979)

Введение в дискретную математику учебное пособие
von: Кочетков П. А. Павел Анатольевич
Veröffentlicht: (Москва, Изд-во МГИУ, 2008)

Математическая логика и теория алгоритмов учебное пособие
von: Гурова Л. М. Любовь Михайловна
Veröffentlicht: (Москва, Изд-во МГГУ, 2006)

Введение в конечную математику пер. с англ.
von: Кемени Дж.
Veröffentlicht: (Москва, Изд-во иностранной литературы, 1963)

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

Введение в дискретную математику учебное пособие
von: Кочетков П. А. Павел Анатольевич
Veröffentlicht: (Москва, Изд-во МГИУ, 2007)

Рекурсивно перечислимые множества и сводимости табличного типа
von: Дегтев А. Н. Александр Николаевич
Veröffentlicht: (Москва, Наука, 1998)

Вводный курс математической логики учебное пособие
von: Успенский В. А. Владимир Андреевич
Veröffentlicht: (Москва, Изд-во МГУ, 1991)

Нечеткая логика и нейронные сети. Часть I Учебное пособие
von: Белозерова Г. И.
Veröffentlicht: (Липецк, Липецкий ГПУ, 2017)

Компактные группы Ли и их представления
von: Желобенко Д. П. Дмитрий Петрович
Veröffentlicht: (Москва, МЦНМО, 2007)

Язык логики пер. с англ.
von: Фрейденталь Х. Ханс
Veröffentlicht: (Москва, Наука, 1969)

Математика для гуманитариев учебное пособие
von: Грес П. В. Павел Власович
Veröffentlicht: (Москва, Логос, 2007)