Научная библиотека ТГУ catalog › Results of search for 'su:"логика."'

Search

Your search returned 9 results.

	1.	Математическая логика курс лекций и практических занятий : [учебное пособие для студентов вузов, обучающихся по специальности 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях"] С. Д. Шапорев by Шапорев, Сергей Дмитриевич. Material type: Text; Format: print Language: Russian Publication details: СПб. БХВ-Петербург 2005Availability: No items available : Log in to add tags Add to cart (remove)
	2.	No cover image available Математическая логика Учебное пособие для математических специальностей вузов Ю. Л. Ершов, Е. А, Палютин by Ершов, Юрий Леонидович, 1940- \| Палютин, Евгений Андреевич, 1945-. Edition: 2-е изд., испр. и доп.Material type: Text; Format: print ; Literary form: Not fiction Publication details: Москва Наука, Главная редакция физико-математической литературы 1987Availability: No items available : Log in to add tags Add to cart (remove)
	3.	No cover image available Математическая логика Учебное пособие для математических специальностей вузов Ю. Л. Ершов, Е. А, Палютин by Ершов, Юрий Леонидович, 1940- \| Палютин, Евгений Андреевич, 1945-. Material type: Text; Format: print ; Literary form: Not fiction Publication details: М. Наука. Физматлит 1979Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Математическая логика [учебное пособие для студентов высших учебных заведений, обучающихся по направлениям и специальностям: "Математика", "Прикладная математика и информатика", "Механика"] Ершов Ю. Л., Палютин Е. А. by Ершов, Юрий Леонидович, 1940- \| Палютин, Евгений Андреевич, 1945-. Edition: 6-е изд., испр.Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Физматлит 2011Online access: ЭБС Лань Доступ к полному тексту документа после регистрации пользователя на сайте http://e.lanbook.com/ в локальной сети ТГУ Availability: No items available : Log in to add tags Add to cart (remove)
	5.	No cover image available Теория доказательств Г. Такеути; Пер. с англ. С. К. Соболева; Под ред. С. И. Адяна by Такеути, Г \| Адян, С. И [ред.]. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: М. Мир 1978Other title: Proof theory.Availability: No items available : Log in to add tags Add to cart (remove)
	6.	Математическая логика С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца by Клини, Стивен Коул, 1909-1994. Edition: Изд. 2-е, стереотип.Material type: Text; Format: print Language: Russian Original language: English Publication details: Москва Едиториал УРСС 2005Availability: No items available : Log in to add tags Add to cart (remove)
	7.	Математическая логика и теория алгоритмов учебник : [по направлениям 654600 "Информатика и вычислительная техника", 654700 "Информационные системы", 540200 "Физико-математическое образование"] С. В. Судоплатов, Е. В. Овчинникова ; М-во образования и науки Рос. Федерации, Новосиб. гос. техн. ун-т by Судоплатов, Сергей Владимирович \| Овчинникова, Елена Викторовна. Series: Высшее образованиеMaterial type: Text; Format: print Language: Russian Publication details: Москва [и др.] ИНФРА-М [и др.] 2004Availability: No items available : Log in to add tags Add to cart (remove)
	8.	Лекции по математической логике Ч. 1 [учебное пособие для математических направлений и специальностей университетов] В. А. Романович ; Том. гос. ун-т by Романович, Владимир Александрович \| Томский государственный университет. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Томск Том. гос. ун-т 2005Availability: No items available : Log in to add tags Add to cart (remove)
	9.	Дискретная математика для инженера О. П. Кузнецов by Кузнецов, Олег Петрович. Series: Учебники для вузовEdition: Изд. 3-е, перераб. и доп.Material type: Text; Format: print Language: Russian Publication details: СПб. [и др.] Лань 2004Availability: No items available : Log in to add tags Add to cart (remove)