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

Results
		Логический подход к искусственному интеллекту : от классической логики к логическому программированию / [А. Тей [и др.]];пер. с фр. П. П. Пермякова; под ред. Г. П. Гаврилова . by Тей А. Андре Грибомон П. Паскаль Луи Ж. Жорж Снийерс Д Водон П Гоше П Грегуар Э Санчес Э Дельсарт Ф Пермяков П. П [730] Гаврилов Г. П [340] Material type: Text; Format: print ; Literary form: Language: Russian Original language: French Publication details: М.: Мир, 1990 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 2 (1)Call number: 510.6:004.8. Place hold Log in to add tags Add to cart (remove)
		No cover image available Математическая логика : учеб. пособие для математических специальностей вузов , Ю. Л. Ершов, Е. А. Палютин . by Ершов Ю. Л. Юрий Леонидович Палютин Е. А. Евгений Андреевич Edition: 2-е изд. испр. и доп. Material type: Text; Format: print ; Nature of contents: patent ; Literary form: Language: Russian Publication details: Москва: Наука, 1987 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 2 (1)Call number: 510.6(075.8). Place hold Log in to add tags Add to cart (remove)
		No cover image available Решение логических и игровых задач : (Логико-психологические этюды) / С. И. Шапиро. by Шапиро, Самуил Иосифович Series: Кибернетика Material type: Text; Format: print ; Literary form: Language: Russian Publication details: М. : Радио и связь, 1984 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 Ленинград : Наука, 1981 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: Language: Russian Original language: English Publication details: Москва : Мир, 1978 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 2 (1)Call number: 510.6. Place hold Log in to add tags Add to cart (remove)
		No cover image available Игра и логика : [Текст] : 85 логич. задач / Д. Бизам, Я. Герцег ; Перевод с венг. Ю. А. Данилова . by Бизам, Дьердь Герцег, Янош Данилов, Ю. А [მთარგმნელი] Material type: Text; Format: print Language: Russian Original language: Hungarian Publication details: Москва: Мир, 1975 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available Математическая логика/ Д. Шенфилд;пер. с англ. И. А. Лаврова, И. А. Мальцева ; под ред. Ю. Л. Ершова . by Шенфилд Д. Джозеф Лавров И. А [730] Мальцев И. А [730] Ершов Ю. Л [რედაქტორი] Series: Математическая логика и основания математики Material type: Text; Format: print ; Literary form: Language: Russian Original language: English Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1975 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available Всесоюзная конференция по математической логике : Тезисы докл. и сообщ./ Ин.-т математики сиб. отд. АН СССР. Третья всесоюз. конф. по мат. логике 23-27 июн 1974 г. by Всесоюзная конференция по математической логике 4 1976 Кишинев Material type: Text; Format: print Language: Russian Publication details: Новосибирск , 1974 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 Publication details: Новосибирск : Наука. Сиб. отд-ние , 1974 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 Publication details: Новосибирск : Наука. Сиб. отд-ние , 1974 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 Publication details: Новосибирск : Наука. Сиб. отд-ние , 1974 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 Publication details: Свердловск : [Уральск. ун-т] , 1974 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available Элементы математической логики / П. Новиков. by Новиков, Петр Сергеевич Series: Математическая логика и основания математики Edition: 2-е изд., испр. Material type: Text; Format: print Language: Russian Publication details: Москва : Наука, 1973 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 510.6+164. Place hold Log in to add tags Add to cart (remove)
		No cover image available Лекции по математической логике : [Текст] : Учеб. пособие / А. А. Марков, М. М. Шульц . by Марков, Андрей Андреевич Шульц, М. М Material type: Text; Format: print Language: Russian Publication details: Горький : [б. и.] , 1973 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available Элементы математической логики / П. С. Новиков . by Новиков П. С. Петр Сергеевич Series: Математическая логика и основания математики Edition: 2-е изд. испр. Material type: Text; Format: print ; Literary form: Language: Russian Publication details: М.: Наука, 1973 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available Язык логики / Х. Фрейденталь;пер. с англ. Ю. А. Петрова ; под ред. Ю. А. Гастева . by Фрейденталь Х. Ханс Петров Ю. А [730] Гастев Ю. А [340] Material type: Text; Format: print ; Literary form: Language: Russian Original language: English Publication details: М. : Наука , 1969 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 Publication details: Москва : Наука , 1968 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available Заметки по логике / [Текст] Перевод с англ. [и предисл.] Ю. А. Гастева ; Под ред. И. М. Яглома . by Линдон, Роджер К Гастев, Ю. А [მთარგმნელი, Автор предисловия] Яглом, И. М [რედაქტორი] Series: Современная математика. Популярная серия Material type: Text; Format: print Language: Russian Original language: English Publication details: Москва : Мир , 1968 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available Доказательства и опровержения : Как доказываются теоремы / Имре Лакатос ; Пер. с англ. И. Н. Веселовского ; АН СССР. by Лакатос, Имре, 1922-1974 Веселовский, Иван Николаевич, 1892-1977 [მთარგმნელი] Material type: Text; Format: print Language: Russian Original language: English Publication details: Москва : Наука, 1967 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (2). Log in to add tags Add to cart (remove)
		No cover image available Математическая теория логического вывода : [Текст] : Сборник переводов / Под ред. А. В. Идельсона и Г. Е. Минца . by Идельсон, Александр Васильевич [რედაქტორი] Минц, Г. Е [რედაქტორი] Series: Математическая логика и основания математики Material type: Text; Format: print Language: Russian Publication details: Москва : Наука, 1967 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 43 results.