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

Results
		No cover image available Сложностные проблемы математической логики : Сборник науч. трудов / Калининский гос. ун-т ; Отв. ред. М. И. Канович. by Канович, М. И [მთავარი რედაქტორი] Калининский гос. ун-т Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Калинин : КГУ, 1985 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 Новосибирск : ВЦ СО АН СССР, 1985 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 Москва : Наука, 1984 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (8). 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: Russian Москва : Наука, 1984 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (4). Log in to add tags Add to cart (remove)
		No cover image available Всесоюзная конференция по математической логике, 7-я . Новосибирск, 5-7 сентября1984 г. : АН СССР. Ин-т математики. Тезисы докладов / by АН СССР. Ин-т математики Material type: Text; Format: print Language: Russian Новосибирск, 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 ; Literary form: Not fiction Language: Russian Москва : Изд-во МГУ, 1984 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (4). 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 Москва : Наука, 1984 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (3). 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)
		Techniques of admissible recursion theory / C.T. Chong. by Chong, C.-T. (Chi-Tat), 1949- Series: Lecture notes in mathematics (Springer-Verlag) ; 1106. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1984 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		Computation and proof theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 : Part II / ed by M. M. Richter. by Richter, M. M [რედაქტორი] Series: Lecture notes in mathematics ; 1104 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publisher: Berlin [u.a.] : Springer Verlag, 1984 Online resources: Inhaltsverzeichnis Inhaltsverzeichnis Inhaltsverzeichnis Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas. by Ebbinghaus, Heinz-Dieter, 1939- Flum, Jörg Thomas, Wolfgang, 1947- Series: Undergraduate Texts in Mathematics Material type: Text; Format: print ; Literary form: Not fiction Language: English Original language: German Publication details: New York : Springer-Verlag, c1984 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 Калинин : КГУ, 1983 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 Москва : Наука, 1983 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (2). 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 Калинин : КГУ, 1983 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 ; Literary form: Not fiction Language: Russian Москва : Наука, 1982 Availability: No items available. Log in to add tags Add to cart (remove)
		No cover image available Основания математики : Логич. исчисления и формализация арифметики / Давид Гильберт ; Пер. с нем. Н. М. Нагорного. by Гильберт, Давид Нагорний, Н. М [რედაქტორი] Series: Мат. логика и основания математики Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Москва : Наука, 1982 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 ; Literary form: Not fiction Language: Russian Москва : Наука, 1982 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (2). Log in to add tags Add to cart (remove)
		No cover image available Эффективность и структурная надежность информационных систем : Под ред. М. И. Нечепуренко ; АН СССР. Сиб. отд. Вычислит. центр. Системное моделирование-7 : Сборник научных трудов / by Нечепуренко, М. И [რედაქტორი] АН СССР. Сиб. отд. Вычислит. центр Material type: Text; Format: print Language: Russian Новосибирск, 1982 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		No cover image available Справочная книга по математической логике. В 4-х частях. Ч.1 : Под ред. Дж. Барвайса. Теория моделей. by Барвайс, Дж [რედაქტორი] Material type: Text; Format: print Language: Russian Москва : Наука, 1982 Availability: Items available for reference: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Not for loan (1)Call number: 510.6(035). Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (2). Log in to add tags Add to cart (remove)
		No cover image available Справочная книга по математической логике. В 4-х частях. Ч.2 : Под ред. Дж. Барвайса. Теория множеств / by Барвайс, Дж [რედაქტორი] Material type: Text; Format: print Language: Russian Москва : Наука, 1982 Availability: Items available for reference: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Not for loan (2)Call number: 510.22(035), ... Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (2). 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 269 results.