Your search returned 248 results. Subscribe to this search

|
1. Introduction to mathematical logic / Elliott Mendelson.

by Mendelson, Elliott.

Edition: 6th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton, Fla. [u.a.] : CRC Press, 2015.Online access: Zentralblatt MATH Inhaltstext Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 [Call number: 510.6 M-55] (1).
Place hold Log in to add tags. Add to cart
2. არაკლასიკური ლოგიკების თავისუფალი ალგებრები : ავტორეფ... ფიზ.-მათ. მეცნ. დოქტ. 01.01.06 / რევაზ გრიგოლია ; ივანე ჯავახიშვილის სახელობის თბილისის სახელმწიფო უნივერსიტეტი.

by გრიგოლია, რევაზ | ივანე ჯავახიშვილის სახელობის თბილისის სახელმწიფო უნივერსიტეტი.

Material type: book Book; Format: print ; Literary form: Not fiction თბილისი, 2006.Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 [Call number: 510.64(043)] (1).
3. ალგებრული ობიექტების კატეგორიული, ჰომოლოგიური და ჰომოტოპიური თვისებები : ავტორეფ... ფიზ.-მათ. მეცნ. დოქტ. 01.01.06 / თამარი დათუაშვილი ; ივანე ჯავახიშვილის სახელობის თბილისის სახელმწიფო უნივერსიტეტი.

by დათუაშვილი, თამარი | ივანე ჯავახიშვილის სახელობის თბილისის სახელმწიფო უნივერსიტეტი.

Material type: book Book; Format: print ; Literary form: Not fiction თბილისი, 2006.Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 [Call number: 512.66+512.74](043)] (1).
4. თეორემათა ავტომატური მტკიცების ზოგიერთი მეთოდი : ავტორეფ... ფიზ.-მათ. მეცნ. კანდ. 01.01.06 / ლალი ტიბუა ; ივანე ჯავახიშვილის სახელობის თბილისის სახელმწიფო უნივერსიტეტი ; [სამეცნ. ხელმძღვანელი: ხიმურ რუხაია].

by ტიბუა, ლალი, ??-?? | რუხაია, ხიმურ [სამეცნიერ ხელმძღვანელი] | ივანე ჯავახიშვილის სახელობის თბილისის სახელმწიფო უნივერსიტეტი.

Material type: book Book; Format: print ; Literary form: Not fiction თბილისი, 2005. Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 [Call number: 510.6(043)] (1).
5. Σ X, 5 კლასის ნახევარმესერებით. განსაზღვრული ბინარულ მიმართებათა სრული ნახევარჯგუფები : 01.01.06 : მათემატიკური ლოგიკა, ალგებრა და რიცხვთა თეორია. ფიზიკა : ფიზიკა-მათემატიკის მეცნიერებათა კანდიდატის სამეცნიერო ხარისხის მოსაპოვებლად წარმოდგენილი ავტორეფერატი / ზ. ავალიანი; ივანე ჯავახიშვილის სახელობის თბილისის სახელმწიფო უნივერსიტეტი.

by ავალიანი, ზებურ | ივანე ჯავახიშვილის სახელობის თბილისის სახელმწიფო უნივერსიტეტი.

Material type: book Book; Format: print ; Literary form: Not fiction თბილისი, 2003.Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 [Call number: 510.6(043)] (1).
6. ბინარულ მიმართებათა სრული ნახევარჯგუფები : ავტორეფ... ფიზ.-მათ. მეცნ. დოქტ. 01.01.06 / იაშა დიასამიძე ; ივანე ჯავახიშვილის სახელობის თბილისის სახელმწიფო უნივერსიტეტი.

by დიასამიძე, იაშა, 1943- | ივანე ჯავახიშვილის სახელობის თბილისის სახელმწიფო უნივერსიტეტი.

Material type: book Book; Format: print ; Literary form: Not fiction თბილისი, 2003. Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 [Call number: 510.6(043)] (1).
7. Between logic and intuition : essays in honor of Charles Parsons / edited by Gila Sher, Richard Tieszen.

by Sher, Gila [რედაქტორი] | Tieszen, Richard L [რედაქტორი].

Material type: book Book; Format: print available online remote festschrift Publisher: Cambridge : Cambridge University Press, 2000.Other title: Between Logic & Intuition.Online access: Click here to access online Availability: No items available
8. მათემატიკური ლოგიკა : საფუძვლები. ნაწ. 2 / შალვა ფხაკაძე.

by ფხაკაძე, შალვა, 1919-.

Material type: book Book; Format: print ; Literary form: Not fiction თბილისი : 1999. თბილ. უნ-ტის გამ-ბა,Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 [Call number: 510.6(076.5)] (1).
9. First-order logic and automated theorem proving / Melvin Fitting.

by Fitting, Melvin, 1942-.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, c1996Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 [Call number: 517 F-48] (1).
10. The semantic foundations of logic : Vol. 1. Predicate logic / Richard L. Epstein.

by Epstein, Richard L, 1947-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Oxford University Press, 1994Online access: Publisher description | Table of contents only Availability: No items available Lost (1).
11. Экспертная система логического распознавания эксилор : Авт. : А. Д. Закревский, А. А. Уткин, В. И. Романов ; АН Белорусский ин-т техн. кибернетики.Инструкция пользователя /

by Закревский, А. Д | Уткин, А. А | Романов, В. И | АН Белорусский ин-т техн. кибернетики.

Material type: book Book; Format: print Минск, 1993.Availability: No items available Lost (1).
12. Выразимость в исчислениях высказываний / М. Ф. Раца ; Под ред. А. Д. Тайманова ; АН ССРМ, Ин-т математики с ВЦ.

by Раца, Мефодий Федорович | Тайманов, А. Д [რედაქტორი] | АН ССРМ, Ин-т математики с ВЦ.

Material type: book Book; Format: print ; Literary form: Not fiction Кишинев : Штиинца, 1991.Availability: No items available Lost (1).
13. Как математика ум в порядок приводит / Абрам Столр.

by Столяр, Абрам Аронович.

Edition: 2-е изд, перераб. и доп.Material type: book Book; Format: print ; Literary form: Not fiction Минск : Вышэйш. шк., 1991.Availability: No items available Lost (1).
14. Логический подход к искусственному интеллекту : А. Тейз, П. Грибомон, Ж. Луи ; Перевод с фр. П. П. Пермякова.От классич. логика к логич. программир /

by Тейз, А | Грибомон, П | Луи, Ж | Пермяков, П. П [მთარგმნელი].

Material type: book Book; Format: print ; Literary form: Not fiction Москва : 1990. Мир,Availability: No items available Lost (1).
15. Ситуационные советующие системы с нечеткой логикой / А. Н. Мелихов, Л. С. Берштейн, С. Я. Коровин .

by Мелихов А.Н. Аскольд Николаевич | Берштейн Л.С. Леонид Самойлович | Коровин С.Я. Сергей Яковлевич.

Material type: book Book; Format: print ; Literary form: Publisher: М. Наука 1990Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 2 [Call number: 519.816+510.6] (1).
16. Логика и компьютер: Моделирование рассуждений и проверка правильности программ / [Н. А. Алешина [и др.]];Академия наук СССР .

by Алешина Н. А | Анисов А. М | Быстров П. И | Герасимова И. А | Меськов В. С | Академия наук СССР.

Material type: book Book; Format: print ; Literary form: Publisher: Москва: Наука, 1990Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 2 [Call number: 510.6] (1).
17. Логический подход к искусственному интеллекту : от классической логики к логическому программированию / [А. Тей [и др.]];пер. с фр. П. П. Пермякова; под ред. Г. П. Гаврилова .

by Тей А. Андре | Грибомон П. Паскаль | Луи Ж. Жорж | Снийерс Д | Водон П | Гоше П | Грегуар Э | Санчес Э | Дельсарт Ф | Пермяков П. П [730] | Гаврилов Г. П [340].

Material type: book Book; Format: print ; Literary form: Publisher: М.: Мир, 1990Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 2 [Call number: 510.6:004.8] (1).
18. Логика, алгебра и базы данных / Питер Грэй ; Перевод с анг. Х. И. Килова.

by Грэй, Питер | Килов, Х. И [მთარგმნელი].

Material type: book Book; Format: print ; Literary form: Not fiction Москва : 1989. Машиностроение,Availability: No items available Lost (1).
19. Исследования по современной индуктивной логике : АН СССР. Ин-т философии ; Сост. Б. Н. Пятницын.Сборник статей /

by Пятницын, Б. Н [შემდგენელი] | АН СССР. Ин-т философии.

Material type: book Book; Format: print ; Literary form: Not fiction Москва : 1989. ИФАН,Availability: No items available Lost (1).
20. Логический анализ понятия количества / Н. М. Сайфуллаев ; Отв. ред. К. К. Одинаев ; АН Тадж. ССР. Отд. философии.

by Сайфуллаев, Нигматулла Мирзоевич | Одинаев, К. К [რედაქტორი] | АН Тадж. ССР. Отд. философии.

Material type: book Book; Format: print ; Literary form: Not fiction Душанбе : Дониш, 1989.Availability: No items available Lost (1).
Not finding what you're looking for?
Make a purchase suggestion

ეროვნული სამეცნიერო ბიბლიოთეკა 2010 - 2019

გაუგზავნე შეკითხვა ან მოთხოვნა ბიბლიოთეკას