National Science Library of Georgia

Refine your search

Your search returned 269 results.

Sort
Results
Справочная книга по математической логике. В 4-х частях. Ч. 3 : Под ред. Дж. Барвайса. Теория рекурсии / by
Material type: Text Text; Format: print
Language: Russian Москва : Наука, 1982
Availability: Items available for reference: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Not for loan (1)Call number: 510.6.
Теорема Геделя о неполноте / Владимир Успенский. by Series: Популяр. лекции по математике ; Вып. 57
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Москва : Наука, 1982
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Бесконечнозначная логика в задачах кибернетики / Виталий Левин. by
Material type: Text Text
Language: Russian Москва : Радио и связь, 1982
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Основания математики : Теория доказательств / Д. Гильберт, П. Бернайс; Пер. с нем. Н. М. Нагорного. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Москва : Наука, 1982
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (2).
Исследования по теории доказательств : Сборник статей / Г. Крайзель ; Перевод с англ. Ю. А. Гастева, Г. Е. Минца. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Original language: English Москва : Мир, 1981
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Математическая логика : Учебник для техникумов по спец. "Прикл. математика"/ Инна Никольская. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Москва : Высш. школа, 1981
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
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Калинин : КГУ, 1981
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Исследования по математической логике и теории алгоритмов : (временная логика)/ Ишмуратов А. Т. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Киев : Наука , 1981
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Всесоюзная конференция "Методы математической логики в проблемах искусственного интелекта и систематическое программирование" : Тезисы докладов и сообщений. Паланга 3-5 сентября 1980 г. Ч.2.
Material type: Text Text; Format: print
Language: Russian Вильнюс : Ин-т математики и кибернетики АН Лит. ССР, 1980
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Fuzzy sets and systems : theory and applications / Didier Dubois, Henri Prade. by Series: Mathematics in science and engineering ; v. 144
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : Academic Press, 1980
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
General recursion theory : an axiomatic approach / Jens E. Fenstad. by Series: Perspectives in mathematical logic
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin ; New York : Springer-Verlag, 1980
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Исследования по неклассическим логикам и теории множеств : Сборник статей / ВИНИТИ ; Отв. ред. А. И. Михайлов. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Москва : Наука, 1979
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (2).
Математический интуиционизм : Альберт Драгалин. Введ. в теорию доказательств / 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 Москва : Сов. радио, 1979
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.