National Science Library of Georgia

Refine your search

Your search returned 37 results.

Sort
Results
Алгебра и логика. Вып.27 ; №6 АН СССР СО Институт Математики : Сборник научных работ / Ответ. ред. Ю. Л. Ершов ; ред. В. И. Кобкова by Series: Алгебра и логика ; Том 27 ; № 6
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Новосибирск : Ин-т математики 1988
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 2 (1)Call number: 512.
Основания математики : Логич. исчисления и формализация арифметики / Давид Гильберт ; Пер. с нем. Н. М. Нагорного. by Series: Мат. логика и основания математики
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Москва : Наука, 1982
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Теория формальных систем / Раймонд М. Смальян ; Перевод с англ. Н. К. Косовского. by Series: Математическая логика и основания математики
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Москва : Наука, 1981
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (3).
Математический интуиционизм : Альберт Драгалин. Введ. в теорию доказательств / by Series: Матем. логика и основания математики
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Москва : Наука, 1979
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Конструктивная математическая логика с точки зрения классической / Петр Новиков. by Series: Математическая логика и основания математики
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Москва : Наука, 1977
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (2).
Конструктивная математическая логика с точки зрения классической / П. С. Новиков. by Series: Математическая логика и основания математики
Material type: Text Text; Format: print ; Literary form:
Language: Russian
Publication details: Москва / Наука. Гл. ред. физ.-мат. лит. , 1977
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Конструктивная математическая логика с точки зрения классической / П. С. Новиков. by Series: Математическая логика и основания математики
Material type: Text Text; Format: print ; Literary form:
Language: Russian
Publication details: Москва / Наука. Гл. ред. физ.-мат. лит. , 1977
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Математическая логика/ Д. Шенфилд;пер. с англ. И. А. Лаврова, И. А. Мальцева ; под ред. Ю. Л. Ершова . by Series: Математическая логика и основания математики
Material type: Text Text; Format: print ; Literary form:
Language: Russian Original language: English
Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1975
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Модальная логика / Роберт Фейс ; Под ред. Г. Е. Минца. by Series: Математич. логика и основания математики
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Москва : Наука, 1974
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (3).
Элементы математической логики / П. Новиков. by Series: Математическая логика и основания математики
Edition: 2-е изд., испр.
Material type: Text Text; Format: print
Language: Russian
Publication details: Москва : Наука, 1973
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 510.6+164.
Элементы математической логики / П. С. Новиков . by Series: Математическая логика и основания математики
Edition: 2-е изд. испр.
Material type: Text Text; Format: print ; Literary form:
Language: Russian
Publication details: М.: Наука, 1973
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Математика метаматематики / Елена Расева, Роман Сикорский ; Перевод с англ. В. А. Янкова. by Series: Математическая логика и основания математики
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Москва : Наука, 1972
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 517.11.
Рекурсивный математический анализ / Рейбен Луис Гудстейн ; Пер. с анг. А. О. Слисенко. by Series: Матем. логика и основания математики
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Original language: English Москва : Наука, 1970
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (2).
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.