Home
Advanced search
Results of search for 'su:"Математическая логика "', page 1 of 6

Refine your search

Availability
- Limit to records with available items
Authors
- Войшвилло, Евгений К... (2)
- Гастев, Ю.А. (2)
- Горбатов, В.А. (2)
- Драгалин, Альберт Гр... (2)
- Ершов, Юрий Леонидов... (3)
- Кабаков, Ф.А. (2)
- Колмогоров, Андрей Н... (2)
- Лавров, Игорь Андрее... (3)
- Максимова, Лариса Ль... (3)
- Марков, А.А. (2)
- Мендельсон, Эллиот (2)
- Минц, Г.Е. (4)
- Мощенский, Владимир ... (2)
- Новиков, Петр Сергее... (3)
- Палютин, Евгений Анд... (3)
- Столяр, Абрам Аронов... (2)
- Успенский, Владимир ... (2)
- Чернявский, В.С. (3)
- Яновская, С.А. (2)
- Ադյան, Սերգեյ Իվանի (2)
- Show more
- Show less
Collections
- General (100)
- Jahukyan Individual Collection (10)
- Kusikian Individual Collection (1)
- Reading Hall (1)
Item types
- Գրքեր / Books (107)
Series
Topics

Your search returned 107 results.

Sort

1
2
3
4
5
6
Next
Last

Sort by:

Unhighlight Highlight

Select all Clear all

Select titles to:

New list

Results

Математическая логика / Р.Л. Гудстейн; Пер. с англ. В.С. Чернявского; Под ред. и с предисл. С.А. Яновской. by

Гудстейн, Рейбен Луис
Чернявский, В.С [пер.]
Яновская, С.А [ред., авт. предисл.]

Series: Б-чка сборника "Математика"

Material type:

Text; Literary form: Not fiction

Language: Russian Original language: English

Publication details: Москва : Изд-во иностр. лит., 1961

Other title:

Mathematical Logic

Availability: Items available for loan: Fundamental Scientific Library (1)Call number: Джаук/1756.

Place hold Save to lists Add to cart (remove)

Математическая логика : Дополнительные главы : Учебное пособие / А.Н. Колмогоров, А.Г. Драгалин. by

Колмогоров, Андрей Николаевич
Драгалин, Альберт Григорьевич

Material type:

Text

Language: Russian

Publication details: Москва : Изд-во Моск. ун-та, 1984

Availability: Items available for loan: Fundamental Scientific Library (1)Call number: PII/517086.

Place hold Save to lists Add to cart (remove)

Математическая логика : Лекции для студентов-математиков НГУ / Ю.Л. Ершов и др. ; М-во высш. и сред. спец. образ. РСФСР ; Новосибирский гос. ун-т. by

Ершов, Юрий Леонидович
Палютин, Евгений Андреевич
Тайцлин, Михаил Абрамович
Новосибирский государственный университет

Material type:

Text

Language: Russian

Publication details: Новосибирск : Изд-во Новосибирск. ун-та, 1973

Availability: Items available for loan: Fundamental Scientific Library (1)Call number: PII/323162.

Place hold Save to lists Add to cart (remove)

Математическая логика : [Учебник для техникумов по спец. "Прикладная математика"] / И.Л. Никольская. by

Никольская, Инна Львовна

Material type:

Text

Language: Russian

Publication details: Москва : Высш. шк, 1981

Availability: Items available for loan: Fundamental Scientific Library (1)Call number: PII/470168.

Place hold Save to lists Add to cart (remove)

Математическая логика : Учебное пособие / Ю.Л. Ершов и Е.А. Палютин. by

Ершов, Юрий Леонидович
Палютин, Евгений Андреевич

Material type:

Text

Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1979

Availability: Items available for loan: Fundamental Scientific Library (2)Call number: PII/563358, ...

Place hold Save to lists Add to cart (remove)

Математическая логика : Учебное пособие / Ю.Л. Ершов и Е.А. Палютин. by

Ершов, Юрий Леонидович
Палютин, Евгений Андреевич

Edition: 2-е изд., испр. и доп.

Material type:

Text

Language: Russian

Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1987

Availability: Items available for loan: Fundamental Scientific Library (2)Call number: PII/574554, ...

Place hold Save to lists Add to cart (remove)

Математическая логика : Пер. с англ. / Дж. Шенфилд ; Пер. И.А. Лаврова и И.А. Мальцева ; Ред. Ю.Л. Ершов. by

Шенфилд, Джозеф
Лавров, И.А [пер.]
Мальцев, И.А [пер.]
Ершов, Ю.Л [ред.]

Series: Математическая логика и основания математики

Material type:

Text

Language: Russian Original language: English

Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1975

Availability: Items available for loan: Fundamental Scientific Library (2)Call number: PII/358749, ...

Place hold Save to lists Add to cart (remove)

Математическая логика : Учебное пособие для математических специальностей педагогических институтов / Л.А. Латотин, Ю.А. Макаренков, В.В. Николаева, А.А. Столяр; Под общ. ред. А.А. Столяра. by

Латотин, Леонид Александрович
Макаренков, Юрий Алексеевич
Николаева, Валентина Владимировна
Столяр, Абрам Аронович [ред.]

Material type:

Text; Literary form: Not fiction

Language: Russian

Publication details: Минск : Вышэйш. шк., 1991

Availability: Items available for loan: Fundamental Scientific Library (1)Call number: PII/634518.

Place hold Save to lists Add to cart (remove)

Математическая логика : Mathematical logic : Труды конференции по математической логике, посвященной памяти А.А. Маркова (1903-1979) София, 22-23 сентября 1980 г.

Material type:

Text; Literary form: Not fiction

Language: Russian

Publication details: София : БАН, 1984

Other title:

Mathematical logic

Availability: Items available for loan: Fundamental Scientific Library (1)Call number: PII/516256.

Place hold Save to lists Add to cart (remove)

10.

Математическая логика : Каталог зарубежных книг Библиотеки Академии наук СССР (1950-1971 гг.) / Б-ка Академии наук СССР; Сост. И.А. Лифшиц; Отв. ред. Г.Е. Минц. by

Лифшиц, И. А [сост.]
Минц, Г. Е [ред.]
Библиотека Академии наук СССР

Material type:

Text; Literary form: Not fiction

Language: Russian

Publication details: Ленинград : Б. и., 1974

Availability: Items available for loan: Fundamental Scientific Library (2)Call number: PII/342711, ...

Place hold Save to lists Add to cart (remove)

11.

Математическая логика : Пер. с англ. / Р.Л. Гудстейн ; Пер. В.С. Чернявского ; Под ред. и с предисл. С.А. Яновской. by

Гудстейн, Р.Л
Чернявский, В.С [пер.]
Яновская, С.А [ред.]

Series: Библиотека сборника "Математика"

Material type:

Text

Language: Russian Original language: English

Publication details: Москва : Иностранной литературы, 1961

Other title:

Mathematical logic

Availability: Items available for loan: Fundamental Scientific Library (3)Call number: РII/41431, ...

Place hold Save to lists Add to cart (remove)

12.

Алгебраическая алгоритмика : С упражнениями и решениями : Для использования в учеб. процессе для студентов вузов по спец. "Прикладная математика" и "Прикладная математика и информатика" / Патрис Ноден, Клод Китте ; Предисл. Ф. Сержераера ; Пер. с фр. В.А. Соколова ; Под ред. Л.С. Казарина. by

Ноден, Патрис
Китте, Клод
Сержераер, Франсис [авт. предисл.]
Соколов, В.А [пер.]
Казарин, Л.С [ред.]

Material type:

Text; Literary form: Not fiction

Language: Russian Original language: French

Publication details: Москва : Мир, 1999

Other title:

Algoritmique algebrique. A vec exercices corriges

Availability: Items available for loan: Fundamental Scientific Library (1)Call number: РII/649437.

Place hold Save to lists Add to cart (remove)

13.

Конструктивная математическая логика с точки зрения классической / П.С. Новиков. by

Новиков, Петр Сергеевич
Кабаков, А.Ф

Series: Математическая логика и основания математики

Material type:

Text; Literary form: Not fiction ; Audience: General;

Language: Russian

Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1977

Availability: Items available for loan: Fundamental Scientific Library (2)Call number: PII/402261, ...

Place hold Save to lists Add to cart (remove)

14.

Симметрическая конструктивная логика / И.Д. Заславский ; Отв. ред. Г.Е. Минц; ВЦ АН АрмССР. by

Заславский, Игорь Дмитриевич
Минц, Г.Е [ред.]
Вычислительный Центр АН Армянской ССР

Material type:

Text; Literary form: Not fiction ; Audience: General;

Language: Russian

Publication details: Ереван : Изд-во АН АрмССР, 1978

Other title:

Սիմետրիկ կոնստրուկտիվ տրամաբանություն

Availability: Items available for loan: Fundamental Scientific Library (2)Call number: PIII/44425, ...

Place hold Save to lists Add to cart (remove)

15.

Математическая теория программирования : Советско-болгарский сборник научных трудов / АН СССР, Сибирское отделение. Вычислительный центр ; Под ред. А.П. Ершова, Д. Скордева. by

Ершов, Андрей Петрович [ред.]

Material type:

Text

Language: Russian

Publication details: Новосибирск : АН СССР. Сиб. отд-ние. ВЦ, 1985

Availability: Items available for loan: Fundamental Scientific Library (2)Call number: PII/552193, ...

Place hold Save to lists Add to cart (remove)

16.

Математическая логика и машины / Г.О. Ефремов by

Ефремов, Георгий Осипович

Series: Новое в жизни, науке, технике. 9 серия. Физика и химия

Material type:

Text; Format: print ; Literary form: Not fiction

Language: Russian

Publication details: Москва : Знание, 1962

Availability: Items available for loan: Fundamental Scientific Library (1)Call number: PII/63010.

Place hold Save to lists Add to cart (remove)

17.

Математическая логика и автоматическое доказательство теорем : Пер. с англ. / Ч. Чень, Р. Ли ; Пер. Г.В. Давыдова и др. by

Чень, Ч
Ли, Р
Давыдов, Г.В [пер.]
Минц, Г.Е [пер.]
Сочилина, А.В [пер.]
Маслов, С.Ю [ред.]

Series: Математическая логика и основания математики

Material type:

Text

Language: Russian Original language: English

Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1983

Availability: Items available for loan: Fundamental Scientific Library (3)Call number: PII/503376, ...

Place hold Save to lists Add to cart (remove)

18.

Математическая логика и дискретная математика : Учебное пособие / В.Г. Карпов, В.А. Мощенский. by

Карпов, Виктор Григорьевич
Мощенский, Владимир Андреевич

Material type:

Text

Language: Russian

Publication details: Минск : Вышэйш. шк, 1977

Availability: Items available for loan: Fundamental Scientific Library (1)Call number: РII/390544.

Place hold Save to lists Add to cart (remove)

19.

Математическая логика и математическая лингвистика : Межвузовский тематический сборник / Калинин. гос. ун-т ; Редкол.: А.В. Гладкий (отв. ред.) и др. by

Гладкий, Алексей Всеволодович [ред.]
Калининский государственный университет

Material type:

Text

Language: Russian

Publication details: Калинин : Изд-во Калининского гос. ун-та, 1981

Availability: Items available for loan: Fundamental Scientific Library (2)Call number: PII/465152, ...

Place hold Save to lists Add to cart (remove)

20.

Математическая логика и материалистическая диалектика : (Проблемы логико-философских оснований и обоснования теорий) / Ю.А. Петров. by

Петров, Юрий Александрович

Material type:

Text

Language: Russian

Publication details: Москва : Изд-во Моск. ун-та, 1974

Availability: Items available for loan: Fundamental Scientific Library (3)Call number: PII/325224, ...

Place hold Save to lists Add to cart (remove)

1
2
3
4
5
6
Next
Last

Not finding what you're looking for?

Make a purchase suggestion

Refine your search

Availability

Authors

Collections

Item types

Series

Topics

Your search returned 107 results.