Results of search for 'ccl=(su:{ლოგიკა})' › ეროვნული სამეცნიერო ბიბლიოთეკა : National Science Library catalog

Results
		Computer science logic : 12th international workshop, CSL '98 : annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings / Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.) by Gottlob, G. (Georg) [რედაქტორი] Grandjean, Etienne [რედაქტორი] Seyr, Katrin [რედაქტორი] Series: Lecture notes in computer science ; 1584 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer, 1999 Online resources: Publisher description Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 681.3 C-65. Place hold Log in to add tags Add to cart (remove)
		No cover image available ლოგიკა / ლ. მჭედლიშვილი, ნ. ივანიძე ; [რედ. : მ. ბეჟანიშვილი]. by მჭედლიშვილი, ლ ივანიძე, ნ ბეჟანიშვილი, მ [რედაქტორი] Edition: [მე-3 გამოცემა]. Material type: Text; Format: print ; Literary form: Not fiction Language: Georgian თბილისი : ქრონოგრაფი, 1997 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 16. Place hold Log in to add tags Add to cart (remove)
		First-order logic and automated theorem proving / Melvin Fitting. by Fitting, Melvin, 1942- Series: Graduate texts in computer science \| Graduate texts in computer science (Springer-Verlag New York Inc.) Edition: 2nd ed. Material type: 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: Springer series. Place hold Log in to add tags Add to cart (remove)
		Logic / Robert Baum. by Baum, Robert, 1941- Edition: 4th ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Fort Worth : Harcourt Brace College Publishers, c1996 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 16. Place hold Log in to add tags Add to cart (remove)
		No cover image available Логика : Учеб. для юрид. вузов и фак. ун-тов / В.И.Кириллов, А.А.Старченко . by Кириллов, В. И Старченко, А. А Material type: Text; Format: print ; Literary form: Not fiction Language: Russian М. : Юристы, 1995 Availability: No items available. Log in to add tags Add to cart (remove)
		No cover image available Логика : Учеб. для юрид. вузов и фак. ун-тов / В.И.Кириллов, А.А.Старченко . by Кириллов, В. И Старченко, А. А Material type: Text; Format: print ; Literary form: Not fiction Language: Russian М. : Юристы, 1995 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (2). Log in to add tags Add to cart (remove)
		Встречи и размышления / Г. И. Марчук. by Марчук, Гурий Иванович Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Москва : Мир, 1995 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 001(093.3)+167/168. Place hold Log in to add tags Add to cart (remove)
		The genealogy of disjunction / R. E. Jennings. by Jennings, R. E. (Raymond Earl) Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Oxford University Press, 1994 Online resources: Publisher description Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 160.1. Place hold Log in to add tags Add to cart (remove)
		No cover image available The semantic foundations of logic : Vol. 1. Predicate logic / Richard L. Epstein. by Epstein, Richard L, 1947- Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Oxford University Press, 1994 Online resources: Publisher description Table of contents only Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		What is a logical system? / edited by D.M. Gabbay. by Gabbay, Dov M, 1945- [რედაქტორი] Series: Studies in logic and computation ; 4 \| Oxford science publications Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 1994 Online resources: Publisher description Table of contents only Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available Экспертная система логического распознавания эксилор : Авт. : А. Д. Закревский, А. А. Уткин, В. И. Романов ; АН Белорусский ин-т техн. кибернетики. Инструкция пользователя / by Закревский, А. Д Уткин, А. А Романов, В. И АН Белорусский ин-т техн. кибернетики Material type: Text; Format: print Language: Russian Минск, 1993 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available ლოგიკა : (ნაწილი პირველი) / ლ.მჭედლიშვილი, ნ.ივანიძე ; [რედ.:ქ.ალხაზიშვილი]. by მჭედლიშვილი, ლეილა [ავტორი] ალხაზიშვილი, გივი [რედაქტორი ] Material type: Text; Format: print ; Literary form: Not fiction Language: Georgian თბილისი : უნ-ტის გამ-ბა, 1992 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 16. Place hold Log in to add tags Add to cart (remove)
		No cover image available ლოგიკა : (ნაწილი 2) / ლ. მჭედლიშვილი, ნ. ივანიძე. by მჭედლიშვილი, ლეილა [ავტორი] ივანიძე, ნუგზარ [რედაქტორი] Material type: Text; Format: print ; Literary form: Not fiction Language: Georgian თბილისი : უნ-ტის გამ-ბა, 1992 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 16. Place hold Log in to add tags Add to cart (remove)
		No cover image available ლოგიკა : (ნაწილი 1) / ლ. მჭედლიშვილი, ნ. ივანიძე. by მჭედლიშვილი, ლეილა ივანიძე, ნუგზარ Material type: Text; Format: print ; Literary form: Not fiction Language: Georgian თბილისი : უნ-ტის გამ-ბა, 1992 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available Psiho-logica argumentării dialogale / Gheorghe Mihai. by Mihai, Gheorghe Material type: Text; Format: print ; Literary form: Not fiction București : Editura Academiei Republicii Socialiste România, 1987 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available Выразимость в исчислениях высказываний / М. Ф. Раца ; Под ред. А. Д. Тайманова ; АН ССРМ, Ин-т математики с ВЦ. by Раца, Мефодий Федорович Тайманов, А. Д [რედაქტორი] АН ССРМ, Ин-т математики с ВЦ Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Кишинев : Штиинца, 1991 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available Как математика ум в порядок приводит / Абрам Столр. by Столяр, Абрам Аронович Edition: 2-е изд, перераб. и доп. Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Минск : Вышэйш. шк., 1991 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available Metalogicon : 1991 : rivista internazionale di logica pura e applicata di linguistica e di filosofia. Material type: Text; Format: print ; Literary form: Not fiction Language: English, German, Italian Publication details: Napoli : L.E.R., [1988]- Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		Stock market logic : a sophisticated approach to profits on Wall Street / Norman G. Fosback. by Fosback, Norman G Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Chicago, Ill. : Dearborn Financial Pub., c1993 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 339.13. Place hold Log in to add tags Add to cart (remove)
		No cover image available Элементы логики действий / А. Л. Блинов, В. В. Петров; ВИНИТИ, АН СССР, Ин-т философии. by Блинов, Аркадий Леонидович Петров, Василий Викторович Ин-т философии Material type: Text; Format: print ; Literary form: Not fiction Language: Russian М. : Наука, 1991 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)

National Science Library of Georgia

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 884 results.