Your search returned 22 results.

Results
		Алгоритмы и рекурсивные функции / А. И. Мальцев. by Мальцев, Анатолий Иванович. Edition: 2-е изд.Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1986Availability: Items available for loan: 2 Call number: PII/563137, ... Place hold Add to cart (remove)
		Введение в булевозначный анализ / А.Г. Кусраев, С.С. Кутателадзе; Рос. акад. наук. Сиб. отд-ние; Ин-т математики им. С.Л. Соболева; Владикавказ. науч. центр Ин-т прикладной математики и информатики. by Кусраев, Анатолий Георгиевич \| Кутателадзе, Семен Самсонович, 1945- \| Российская Академия Наук \| Институт математики им. С.Л. Соболева Сибирское отделение \| Владикавказский научный центр \| Институт прикладной математики и информатики. Material type: Text; Literary form: Not fiction Language: Russian Publication details: Москва : Наука, 2005Availability: Items available for loan: 2 Call number: PII/653627, ... Place hold Add to cart (remove)
		Введение в математическую логику : Пер. с англ. / Э. Мендельсон ; Пер. Ф.А. Кабакова ; Ред. С.И. Адян. by Мендельсон, Эллиот \| Кабаков, Ф.А [пер.] \| Ադյան, Սերգեյ Իվանի, 1931- [ред.]. Edition: 3-е изд.Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва : Наука, 1984Other title: Introduction to Mathematical Logic.Availability: Items available for loan: 3 Call number: PII/521618, ... Place hold Add to cart (remove)
		Введение в математическую логику / Э. Мендельсон ; Пер. с англ. Ф.А. Кабакова ; Под ред. С.И. Адяна. by Мендельсон, Эллиот \| Кабаков, Ф.А [пер.] \| Ադյան, Սերգեյ Իվանի, 1931- [ред.]. Edition: 2-е изд., испр.Material type: Text Language: Russian Original language: English Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1976Availability: Items available for loan: 2 Call number: PII/374258, ... Place hold Add to cart (remove)
		Задачи по теории множеств, математической логике и теории алгоритмов / И.А. Лавров, Л.Л. Максимова. by Лавров, Игорь Андреевич \| Максимова, Лариса Львовна. Edition: 2-е изд.Material type: Text Language: Russian Publication details: Москва : Наука, 1984Availability: Items available for loan: 3 Call number: PII/520662, ... Place hold Add to cart (remove)
		Задачи по теории множеств, математической логике и теории алгоритмов / И.А. Лавров, Л.Л. Максимова. by Лавров, Игорь Андреевич \| Максимова, Лариса Львовна. Material type: Text Language: Russian Publication details: Москва : Наука, 1975Availability: Items available for loan: 1 Call number: PII/354721. Place hold Add to cart (remove)
		Избранные труды: Теория множеств и функций. Математическая логика и алгебра / П.С. Новиков. by Новиков, Петр Сергеевич. Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва : Наука, 1979Availability: Items available for loan: 1 Call number: PII/434377. Place hold Add to cart (remove)
		Исследования по неклассическим логикам и теории множеств : [Сборник статей] / АН СССР, Всесоюз. ин-т науч.-техн. информации ; Отв. ред. А.И. Михайлов. by Михайлов, Александр Иванович [ред.] \| Всесоюзный институт научно-технической информации АН СССР. Material type: Text Language: Russian Publication details: Москва : Наука, 1979Availability: Items available for loan: 1 Call number: PII/440506. Place hold Add to cart (remove)
		Конструктивная математическая логика с точки зрения классической / П.С. Новиков. by Новиков, Петр Сергеевич \| Кабаков, А.Ф. Series: Математическая логика и основания математикиMaterial type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1977Availability: Items available for loan: 2 Call number: PII/402261, ... Place hold Add to cart (remove)
		Логическая истина и эмпиризм / В.В. Целищев ; Отв. ред. М.В. Попович ; АН СССР. СО. Ин-т истории, филолог. и философ. by Целищев, Виталий Валентинович \| Попович, М.В [ред.] \| Институт истории, филологии и философии СО АН СССР. Material type: Text Language: Russian Publication details: Новосибирск : Наука. Сиб. отд-ние, 1974Availability: Items available for loan: 2 Call number: PII/326661, ... Place hold Add to cart (remove)
		Математическая логика : Учебное пособие / Ю.Л. Ершов и Е.А. Палютин. by Ершов, Юрий Леонидович \| Палютин, Евгений Андреевич. Edition: 2-е изд., испр. и доп.Material type: Text Language: Russian Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1987Availability: Items available for loan: 2 Call number: PII/574554, ... Place hold Add to cart (remove)
		Математическая логика : Пер. с англ. / Дж. Шенфилд ; Пер. И.А. Лаврова и И.А. Мальцева ; Ред. Ю.Л. Ершов. by Шенфилд, Джозеф \| Лавров, И.А [пер.] \| Мальцев, И.А [пер.] \| Ершов, Ю.Л [ред.]. Series: Математическая логика и основания математикиMaterial type: Text Language: Russian Original language: English Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1975Availability: Items available for loan: 2 Call number: PII/358749, ... Place hold Add to cart (remove)
		Математическая логика : Учебное пособие / Ю.Л. Ершов и Е.А. Палютин. by Ершов, Юрий Леонидович \| Палютин, Евгений Андреевич. Material type: Text Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1979Availability: Items available for loan: 2 Call number: PII/563358, ... Place hold Add to cart (remove)
		Математическая логика и автоматическое доказательство теорем : Пер. с англ. / Ч. Чень, Р. Ли ; Пер. Г.В. Давыдова и др. by Чень, Ч \| Ли, Р \| Давыдов, Г.В [пер.] \| Минц, Г.Е [пер.] \| Сочилина, А.В [пер.] \| Маслов, С.Ю [ред.]. Series: Математическая логика и основания математикиMaterial type: Text Language: Russian Original language: English Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1983Availability: Items available for loan: 3 Call number: PII/503376, ... Place hold Add to cart (remove)
		Проблема неполноты теории и ее гносеологическое значение / Л.Г. Антипенко ; Отв. ред. Н.И. Стяжкин, Л.И. Мчедлишвили ; АН СССР, Ин-т философии. by Антипенко, Леонид Григорьевич \| Институт философии АН СССР. Material type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Publication details: Москва : Наука, 1986Availability: Items available for loan: 3 Call number: PII/577778, ... Place hold Add to cart (remove)
		Прямая и обратная теоремы : Элементы алгебры логики / И.С. Градштейн. by Градштейн, И.С. Edition: 5-еMaterial type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1972Availability: Items available for loan: 2 Call number: PII/302065, ... Place hold Add to cart (remove)
		Синтаксические и семантические исследования неэкстенсиональных логик : [Сб. ст.] / АН СССР, Ин-т философии; Отв. ред.: В.А. Смирнов. by Смирнов, Владимир Александрович [ред.] \| Институт философии АН СССР \| Академия наук СССР. Material type: Text Language: Russian Publication details: Москва : Наука, 1989Availability: Items available for loan: 1 Call number: 16. Place hold Add to cart (remove)
		Структурно-логические методы исследования сложных систем с применением ЭВМ / В.И. Левин. by Левин, Виталий Ильич. Series: Теория и методы системного анализаMaterial type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Publication details: Москва : Наука, 1987Availability: Items available for loan: 1 Call number: PII/576505. Place hold Add to cart (remove)
		Теория алгоритмов: основные открытия и приложения / В.А. Успенский, А.Л. Семенов. by Успенский, Владимир Андреевич \| Семенов, Алексей Львович. Series: Библиотечка программистаMaterial type: Text Publication details: Москва : Наука , 1987Availability: Items available for loan: 2 Call number: PII/569967, ... Place hold Add to cart (remove)
		Теория формальных систем : Пер. с англ. / Р. Смальян ; Пер. Н. Косовского ; Под ред. Н.А. Шанина. by Смальян, Раймонд М \| Шанин, Н.А [ред.]. Series: Математическая логика и основания математикиMaterial type: Text Language: Russian Original language: English Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1981Availability: Items available for loan: 2 Call number: PII/471733, ... Place hold Add to cart (remove)

		Алгоритмы и рекурсивные функции / А. И. Мальцев. by Мальцев, Анатолий Иванович. Edition: 2-е изд.Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1986Availability: Items available for loan: 2 Call number: PII/563137, ... Place hold Add to cart (remove)
		Введение в булевозначный анализ / А.Г. Кусраев, С.С. Кутателадзе; Рос. акад. наук. Сиб. отд-ние; Ин-т математики им. С.Л. Соболева; Владикавказ. науч. центр Ин-т прикладной математики и информатики. by Кусраев, Анатолий Георгиевич \| Кутателадзе, Семен Самсонович, 1945- \| Российская Академия Наук \| Институт математики им. С.Л. Соболева Сибирское отделение \| Владикавказский научный центр \| Институт прикладной математики и информатики. Material type: Text; Literary form: Not fiction Language: Russian Publication details: Москва : Наука, 2005Availability: Items available for loan: 2 Call number: PII/653627, ... Place hold Add to cart (remove)
		Введение в математическую логику : Пер. с англ. / Э. Мендельсон ; Пер. Ф.А. Кабакова ; Ред. С.И. Адян. by Мендельсон, Эллиот \| Кабаков, Ф.А [пер.] \| Ադյան, Սերգեյ Իվանի, 1931- [ред.]. Edition: 3-е изд.Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва : Наука, 1984Other title: Introduction to Mathematical Logic.Availability: Items available for loan: 3 Call number: PII/521618, ... Place hold Add to cart (remove)
		Введение в математическую логику / Э. Мендельсон ; Пер. с англ. Ф.А. Кабакова ; Под ред. С.И. Адяна. by Мендельсон, Эллиот \| Кабаков, Ф.А [пер.] \| Ադյան, Սերգեյ Իվանի, 1931- [ред.]. Edition: 2-е изд., испр.Material type: Text Language: Russian Original language: English Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1976Availability: Items available for loan: 2 Call number: PII/374258, ... Place hold Add to cart (remove)
		Задачи по теории множеств, математической логике и теории алгоритмов / И.А. Лавров, Л.Л. Максимова. by Лавров, Игорь Андреевич \| Максимова, Лариса Львовна. Edition: 2-е изд.Material type: Text Language: Russian Publication details: Москва : Наука, 1984Availability: Items available for loan: 3 Call number: PII/520662, ... Place hold Add to cart (remove)
		Задачи по теории множеств, математической логике и теории алгоритмов / И.А. Лавров, Л.Л. Максимова. by Лавров, Игорь Андреевич \| Максимова, Лариса Львовна. Material type: Text Language: Russian Publication details: Москва : Наука, 1975Availability: Items available for loan: 1 Call number: PII/354721. Place hold Add to cart (remove)
		Избранные труды: Теория множеств и функций. Математическая логика и алгебра / П.С. Новиков. by Новиков, Петр Сергеевич. Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва : Наука, 1979Availability: Items available for loan: 1 Call number: PII/434377. Place hold Add to cart (remove)
		Исследования по неклассическим логикам и теории множеств : [Сборник статей] / АН СССР, Всесоюз. ин-т науч.-техн. информации ; Отв. ред. А.И. Михайлов. by Михайлов, Александр Иванович [ред.] \| Всесоюзный институт научно-технической информации АН СССР. Material type: Text Language: Russian Publication details: Москва : Наука, 1979Availability: Items available for loan: 1 Call number: PII/440506. Place hold Add to cart (remove)
		Конструктивная математическая логика с точки зрения классической / П.С. Новиков. by Новиков, Петр Сергеевич \| Кабаков, А.Ф. Series: Математическая логика и основания математикиMaterial type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1977Availability: Items available for loan: 2 Call number: PII/402261, ... Place hold Add to cart (remove)
		Логическая истина и эмпиризм / В.В. Целищев ; Отв. ред. М.В. Попович ; АН СССР. СО. Ин-т истории, филолог. и философ. by Целищев, Виталий Валентинович \| Попович, М.В [ред.] \| Институт истории, филологии и философии СО АН СССР. Material type: Text Language: Russian Publication details: Новосибирск : Наука. Сиб. отд-ние, 1974Availability: Items available for loan: 2 Call number: PII/326661, ... Place hold Add to cart (remove)
		Математическая логика : Учебное пособие / Ю.Л. Ершов и Е.А. Палютин. by Ершов, Юрий Леонидович \| Палютин, Евгений Андреевич. Edition: 2-е изд., испр. и доп.Material type: Text Language: Russian Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1987Availability: Items available for loan: 2 Call number: PII/574554, ... Place hold Add to cart (remove)
		Математическая логика : Пер. с англ. / Дж. Шенфилд ; Пер. И.А. Лаврова и И.А. Мальцева ; Ред. Ю.Л. Ершов. by Шенфилд, Джозеф \| Лавров, И.А [пер.] \| Мальцев, И.А [пер.] \| Ершов, Ю.Л [ред.]. Series: Математическая логика и основания математикиMaterial type: Text Language: Russian Original language: English Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1975Availability: Items available for loan: 2 Call number: PII/358749, ... Place hold Add to cart (remove)
		Математическая логика : Учебное пособие / Ю.Л. Ершов и Е.А. Палютин. by Ершов, Юрий Леонидович \| Палютин, Евгений Андреевич. Material type: Text Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1979Availability: Items available for loan: 2 Call number: PII/563358, ... Place hold Add to cart (remove)
		Математическая логика и автоматическое доказательство теорем : Пер. с англ. / Ч. Чень, Р. Ли ; Пер. Г.В. Давыдова и др. by Чень, Ч \| Ли, Р \| Давыдов, Г.В [пер.] \| Минц, Г.Е [пер.] \| Сочилина, А.В [пер.] \| Маслов, С.Ю [ред.]. Series: Математическая логика и основания математикиMaterial type: Text Language: Russian Original language: English Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1983Availability: Items available for loan: 3 Call number: PII/503376, ... Place hold Add to cart (remove)
		Проблема неполноты теории и ее гносеологическое значение / Л.Г. Антипенко ; Отв. ред. Н.И. Стяжкин, Л.И. Мчедлишвили ; АН СССР, Ин-т философии. by Антипенко, Леонид Григорьевич \| Институт философии АН СССР. Material type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Publication details: Москва : Наука, 1986Availability: Items available for loan: 3 Call number: PII/577778, ... Place hold Add to cart (remove)
		Прямая и обратная теоремы : Элементы алгебры логики / И.С. Градштейн. by Градштейн, И.С. Edition: 5-еMaterial type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1972Availability: Items available for loan: 2 Call number: PII/302065, ... Place hold Add to cart (remove)
		Синтаксические и семантические исследования неэкстенсиональных логик : [Сб. ст.] / АН СССР, Ин-т философии; Отв. ред.: В.А. Смирнов. by Смирнов, Владимир Александрович [ред.] \| Институт философии АН СССР \| Академия наук СССР. Material type: Text Language: Russian Publication details: Москва : Наука, 1989Availability: Items available for loan: 1 Call number: 16. Place hold Add to cart (remove)
		Структурно-логические методы исследования сложных систем с применением ЭВМ / В.И. Левин. by Левин, Виталий Ильич. Series: Теория и методы системного анализаMaterial type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Publication details: Москва : Наука, 1987Availability: Items available for loan: 1 Call number: PII/576505. Place hold Add to cart (remove)
		Теория алгоритмов: основные открытия и приложения / В.А. Успенский, А.Л. Семенов. by Успенский, Владимир Андреевич \| Семенов, Алексей Львович. Series: Библиотечка программистаMaterial type: Text Publication details: Москва : Наука , 1987Availability: Items available for loan: 2 Call number: PII/569967, ... Place hold Add to cart (remove)
		Теория формальных систем : Пер. с англ. / Р. Смальян ; Пер. Н. Косовского ; Под ред. Н.А. Шанина. by Смальян, Раймонд М \| Шанин, Н.А [ред.]. Series: Математическая логика и основания математикиMaterial type: Text Language: Russian Original language: English Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1981Availability: Items available for loan: 2 Call number: PII/471733, ... Place hold Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Collections

Languages

Your search returned 22 results.