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

Search

Your search returned 6 results.

	1.	Лекции по математической логике Ч. 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)
	2.	Математическая логика С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца 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)
	3.	Математическая логика С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца by Клини, Стивен Коул, 1909-1994. Edition: Изд. 3-е, стереотип.Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Original language: English Publication details: М. Едиториал УРСС 2007Availability: No items available : Log in to add tags Add to cart (remove)
	4.	No cover image available Основания математики теория доказательств Д. Гильберт, П. Бернайс ; пер . с нем. Н. М. Нагорного ; под ред. С. И. Адяна by Гильберт, Давид, 1862-1943 \| Бернайс, Пауль \| Адян, Сергей Иванович, 1931- [edt]. Series: Математическая логика и основания математикиMaterial type: Text; Format: print available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Наука, Физматлит 1982Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	5.	Лекции по дискретной математике [учебное пособие Ю. В. Капитонова, С. Л. Кривой, А. А. Летичевский, Г. М. Луцкий] by Капитонова, Юлия Владимировна \| Кривой, Сергей Лукьянович \| Летичевский, Александр Адольфович \| Луцкий, Георгий Михайлович. Material type: Text; Format: print Language: Russian Publication details: СПб. БХВ-Петербург 2004Availability: No items available : Log in to add tags Add to cart (remove)
	6.	No cover image available Математическая логика и автоматическое доказательство теорем Ч. Чень, Р. Ли; Перевод с англ. Г. В. Давыдова и др. by Чень, Ч \| Ли, Р \| Маслов, Сергей Юрьевич [edt]. Series: Математическая логика и основания математикиMaterial type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука 1983Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)