National Science Library of Georgia

Refine your search

Your search returned 269 results.

Sort
Results
Introduction to mathematical logic / Elliott Mendelson. by Series: Textbooks in mathematics | A Chapman & Hall book
Edition: 6th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Publisher: Boca Raton, Fla. [u.a.] : CRC Press, 2015
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 510.6 M-55.
LMP fundamental theory : [logic & mathematics + physics] / Hrant Arakelian ; Armenian National Academy of Sciences, Institute of Philosophy, Sociology and Law. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Yerevan : Sarvard Hrat, 2010
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (2).
Between logic and intuition : essays in honor of Charles Parsons / edited by Gila Sher, Richard Tieszen. by
Material type: Text Text; Format: print available online remote festschrift
Language: German Publisher: Cambridge : Cambridge University Press, 2000
Other title:
  • Between Logic & Intuition
Availability: No items available.
მათემატიკური ლოგიკა : საფუძვლები. ნაწ. 2 / შალვა ფხაკაძე. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian თბილისი : თბილისის უნივერსიტეტის გამომცემლობა, 1999
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 510.6(076.5).
First-order logic and automated theorem proving / Melvin Fitting. by Series: Graduate texts in computer science | Graduate texts in computer science (Springer-Verlag New York Inc.)
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : Springer, c1996
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 004 F-48.
Lists:
The semantic foundations of logic : Vol. 1. Predicate logic / Richard L. Epstein. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : Oxford University Press, 1994
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
What is a logical system? / edited by D.M. Gabbay. by Series: Studies in logic and computation ; 4 | Oxford science publications
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 1994
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Выразимость в исчислениях высказываний / М. Ф. Раца ; Под ред. А. Д. Тайманова ; АН ССРМ, Ин-т математики с ВЦ. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Кишинев : Штиинца, 1991
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Как математика ум в порядок приводит / Абрам Столр. by
Edition: 2-е изд, перераб. и доп.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Минск : Вышэйш. шк., 1991
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Логический подход к искусственному интеллекту : А. Тейз, П. Грибомон, Ж. Луи ; Перевод с фр. П. П. Пермякова. От классич. логика к логич. программир / by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Original language: fra Москва : Мир, 1990
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Ситуационные советующие системы с нечеткой логикой / А. Н. Мелихов, Л. С. Берштейн, С. Я. Коровин . by
Material type: Text Text; Format: print ; Literary form:
Language: Russian
Publication details: М. Наука 1990
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 2 (1)Call number: 519.816+510.6. Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.