Введение в математическую логику: пер. с англ.
| Hoofdauteur: | Мендельсон Э. Эллиот |
|---|---|
| Andere auteurs: | Адян С. И. (редактор) |
| Taal: | Russisch |
| Gepubliceerd in: |
Москва, Наука, 1971
|
| Onderwerpen: | |
| Formaat: | Boek |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=79187 |
Gelijkaardige items
Введение в математическую логику: пер. с англ.
door: Мендельсон Э. Эллиот
Gepubliceerd in: (Москва, Наука, 1976)
door: Мендельсон Э. Эллиот
Gepubliceerd in: (Москва, Наука, 1976)
Введение в математическую логику: монография; пер. с англ.; Т. 1
door: Чёрч А.
Gepubliceerd in: (Москва, Изд-во иностранной литературы, 1960)
door: Чёрч А.
Gepubliceerd in: (Москва, Изд-во иностранной литературы, 1960)
Введение в метаматематику: пер. с англ.
door: Клини С. К. Стефен К.
Gepubliceerd in: (Москва, Изд-во иностранной литературы, 1957)
door: Клини С. К. Стефен К.
Gepubliceerd in: (Москва, Изд-во иностранной литературы, 1957)
Введение в математическую логику: пер. с англ.
door: Мендельсон Э. Эллиот
Gepubliceerd in: (Москва, Наука, 1984)
door: Мендельсон Э. Эллиот
Gepubliceerd in: (Москва, Наука, 1984)
Введение в математическую логику учебное пособие для вузов
door: Зюзьков В. М.
Gepubliceerd in: (Санкт-Петербург, Лань, 2026)
door: Зюзьков В. М.
Gepubliceerd in: (Санкт-Петербург, Лань, 2026)
Симметрическая конструктивная логика
door: Заславский И. Д. Игорь Дмитриевич
Gepubliceerd in: (Ереван, Изд-во АН Армянской ССР, 1978)
door: Заславский И. Д. Игорь Дмитриевич
Gepubliceerd in: (Ереван, Изд-во АН Армянской ССР, 1978)
Введение в математическую логику
door: Зюзьков В. М.
Gepubliceerd in: (Санкт-Петербург, Лань, 2022)
door: Зюзьков В. М.
Gepubliceerd in: (Санкт-Петербург, Лань, 2022)
Введение в математическую логику: учебное пособие
door: Колмогоров А. Н. Андрей Николаевич
Gepubliceerd in: (Москва, Изд-во Московского ун-та, 1982)
door: Колмогоров А. Н. Андрей Николаевич
Gepubliceerd in: (Москва, Изд-во Московского ун-та, 1982)
Введение в математическую логику: учебное пособие
door: Воротников С. М.
Gepubliceerd in: (Комсомольск-на-Амуре, Изд-во Комсомольского-на-Амуре ГТУ, 1996)
door: Воротников С. М.
Gepubliceerd in: (Комсомольск-на-Амуре, Изд-во Комсомольского-на-Амуре ГТУ, 1996)
Математическая логика
door: Гладкий А. В. Алексей Всеволодович
Gepubliceerd in: (Москва, Изд-во Российского ГГУ, 1998)
door: Гладкий А. В. Алексей Всеволодович
Gepubliceerd in: (Москва, Изд-во Российского ГГУ, 1998)
Математическая логика: пер. с англ.
door: Гудстейн Р. Л.
Gepubliceerd in: (Москва, Изд-во иностранной литературы, 1961)
door: Гудстейн Р. Л.
Gepubliceerd in: (Москва, Изд-во иностранной литературы, 1961)
Элементы математической логики
door: Новиков П. С. Петр Сергеевич
Gepubliceerd in: (Москва, Наука, 1973)
door: Новиков П. С. Петр Сергеевич
Gepubliceerd in: (Москва, Наука, 1973)
Язык логики: пер. с англ.
door: Фрейденталь Х. Ханс
Gepubliceerd in: (Москва, Наука, 1969)
door: Фрейденталь Х. Ханс
Gepubliceerd in: (Москва, Наука, 1969)
Математический интуиционизм. Введение в теорию доказательств
door: Драгалин А. Г. Альберт Григорьевич
Gepubliceerd in: (Москва, Наука, 1979)
door: Драгалин А. Г. Альберт Григорьевич
Gepubliceerd in: (Москва, Наука, 1979)
Математическая логика и теория алгоритмов
door: Гурова Л. М.
Gepubliceerd in: (Москва, Горная книга, 2006)
door: Гурова Л. М.
Gepubliceerd in: (Москва, Горная книга, 2006)
Математическая логика: пер. с англ.
door: Клини С. К. Стивен Коул
Gepubliceerd in: (Москва, Едиториал УРСС, 2005)
door: Клини С. К. Стивен Коул
Gepubliceerd in: (Москва, Едиториал УРСС, 2005)
Конструктивная математическая логика с точки зрения классической
door: Новиков П. С. Петр Сергеевич
Gepubliceerd in: (Москва, Наука, 1977)
door: Новиков П. С. Петр Сергеевич
Gepubliceerd in: (Москва, Наука, 1977)
Основания теории множеств: пер. с англ.
door: Френкель А. А. Абрахам А.
Gepubliceerd in: (Москва, Мир, 1966)
door: Френкель А. А. Абрахам А.
Gepubliceerd in: (Москва, Мир, 1966)
Основоположения арифметики; Логико-математическое исследование о понятии числа: пер. с нем.
door: Фреге Ф. Л. Г. Фридрих Людвиг Готлоб
Gepubliceerd in: (Томск, Водолей, 2000)
door: Фреге Ф. Л. Г. Фридрих Людвиг Готлоб
Gepubliceerd in: (Томск, Водолей, 2000)
Математическая логика и теория алгоритмов учебное пособие для вузов
door: Рыбин С. В.
Gepubliceerd in: (Санкт-Петербург, Лань, 2024)
door: Рыбин С. В.
Gepubliceerd in: (Санкт-Петербург, Лань, 2024)
Дискретная математика и информатика
door: Рыбин С. В.
Gepubliceerd in: (Санкт-Петербург, Лань, 2022)
door: Рыбин С. В.
Gepubliceerd in: (Санкт-Петербург, Лань, 2022)
Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики
door: Бирюков Б. В. Борис Владимирович
Gepubliceerd in: (Москва, Едиториал УРСС, 2004)
door: Бирюков Б. В. Борис Владимирович
Gepubliceerd in: (Москва, Едиториал УРСС, 2004)
Теория доказательств: пер. с англ.
door: Такеути Г. Гаиси
Gepubliceerd in: (Москва, Мир, 1978)
door: Такеути Г. Гаиси
Gepubliceerd in: (Москва, Мир, 1978)
Алгебра и логика: сборник научных трудов
Gepubliceerd in: (Новосибирск, Изд-во ИМ СО РАН, 1991)
Gepubliceerd in: (Новосибирск, Изд-во ИМ СО РАН, 1991)
Алгебра и логика: сборник научных трудов
Gepubliceerd in: (Новосибирск, Изд-во ИМ СО РАН, 1991)
Gepubliceerd in: (Новосибирск, Изд-во ИМ СО РАН, 1991)
Множества. Логика. Аксиоматические теории: пер. с англ.
door: Столл Р. Р. Роберт Р.
Gepubliceerd in: (Москва, Просвещение, 1968)
door: Столл Р. Р. Роберт Р.
Gepubliceerd in: (Москва, Просвещение, 1968)
Введение в дискретную математику и логику учебное пособие
door: Червенчук В. Д.
Gepubliceerd in: (Омск, Омский ГАУ, 2011)
door: Червенчук В. Д.
Gepubliceerd in: (Омск, Омский ГАУ, 2011)
Логика. Курс лекций в таблицах, рисунках и примерах учебное пособие для вузов
door: Бабичева И. В.
Gepubliceerd in: (Санкт-Петербург, Лань, 2024)
door: Бабичева И. В.
Gepubliceerd in: (Санкт-Петербург, Лань, 2024)
Топосы. Категорный анализ логики: пер. с англ.
door: Голдблатт Р.
Gepubliceerd in: (Москва, Мир, 1983)
door: Голдблатт Р.
Gepubliceerd in: (Москва, Мир, 1983)
Математическая логика и теория алгоритмов: учебное пособие
door: Крупский В. Н. Владимир Николаевич
Gepubliceerd in: (Москва, Академия, 2013)
door: Крупский В. Н. Владимир Николаевич
Gepubliceerd in: (Москва, Академия, 2013)
Математический анализ: введение учебно-методическое пособие
Gepubliceerd in: (Улан-Удэ, БГУ, 2019)
Gepubliceerd in: (Улан-Удэ, БГУ, 2019)
Элементы теории множеств и математической логики: учебное пособие
door: Дурнев В. Г. Валерий Георгиевич
Gepubliceerd in: (Ярославль, Изд-во Ярославского ГУ, 1978)
door: Дурнев В. Г. Валерий Георгиевич
Gepubliceerd in: (Ярославль, Изд-во Ярославского ГУ, 1978)
Дискретная математика: учебник
door: Поздняков С. Н. Сергей Николаевич
Gepubliceerd in: (Москва, Академия, 2008)
door: Поздняков С. Н. Сергей Николаевич
Gepubliceerd in: (Москва, Академия, 2008)
Формы логики
Gepubliceerd in: (Пекин, Народное изд-во, 2005)
Gepubliceerd in: (Пекин, Народное изд-во, 2005)
Математическая логика: учебное пособие
door: Ершов Ю. Л. Юрий Леонидович
Gepubliceerd in: (СПб., Лань, 2005)
door: Ершов Ю. Л. Юрий Леонидович
Gepubliceerd in: (СПб., Лань, 2005)
№ 263 : Вопросы логики: [сборник статей]; Ученые записки [Ленинградского государственного университета]
Gepubliceerd in: (1959)
Gepubliceerd in: (1959)
Логика Д. Пуансо в контексте дихотомии "искусство-наука"; Вестник науки Сибири; № 3 (4)
door: Скрипник К. Д. Константин Дмитриевич
Gepubliceerd in: (2012)
door: Скрипник К. Д. Константин Дмитриевич
Gepubliceerd in: (2012)
Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие
door: Кипнис М. М. Михаил Маркович
Gepubliceerd in: (Челябинск, Изд-во ЧПИ, 1985)
door: Кипнис М. М. Михаил Маркович
Gepubliceerd in: (Челябинск, Изд-во ЧПИ, 1985)
Категориальный синтез логического знания
door: Береговой И. И. Иван Иосифович
Gepubliceerd in: (Львов, Свит, 1990)
door: Береговой И. И. Иван Иосифович
Gepubliceerd in: (Львов, Свит, 1990)
Избранные труды; Теория множеств. Математическая логика и алгебра
door: Новиков П. С. Петр Сергеевич
Gepubliceerd in: (Москва, Наука, 1979)
door: Новиков П. С. Петр Сергеевич
Gepubliceerd in: (Москва, Наука, 1979)
Gelijkaardige items
-
Введение в математическую логику: пер. с англ.
door: Мендельсон Э. Эллиот
Gepubliceerd in: (Москва, Наука, 1976) -
Введение в математическую логику: монография; пер. с англ.; Т. 1
door: Чёрч А.
Gepubliceerd in: (Москва, Изд-во иностранной литературы, 1960) -
Введение в метаматематику: пер. с англ.
door: Клини С. К. Стефен К.
Gepubliceerd in: (Москва, Изд-во иностранной литературы, 1957) -
Введение в математическую логику: пер. с англ.
door: Мендельсон Э. Эллиот
Gepubliceerd in: (Москва, Наука, 1984) -
Введение в математическую логику учебное пособие для вузов
door: Зюзьков В. М.
Gepubliceerd in: (Санкт-Петербург, Лань, 2026)