Научная библиотека ТГУ catalog › Results of search for 'su:"доказуемость"'

Search

Your search returned 8 results.

	1.	Лекции по математике Т. 6 В. Босс by Босс, Валерий, 1944-. Edition: Изд. 3-е, испр. и доп.Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва ЛИБРОКОМ 2013Other title: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя.Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Лекции по математике Т. 16 [учебное пособие для студентов, преподавателей] В. Босс by Босс, Валерий, 1944-. Edition: Изд. стер.Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва ЛИБРОКОМ 2014Other title: Теория множеств: от Кантора до Коэна.Availability: No items available : Log in to add tags Add to cart (remove)
	3.	Алгоритмизация мышления. Геделевский аргумент В. В. Целищев ; Ин-т философии права, Сиб. отд-ние РАН by Целищев, Виталий Валентинович. Series: Новая философия математикиMaterial type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Новосибирск Параллель 2005Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Лекции по математике Т. 6 [учебное пособие] В. Босс by Босс, Валерий, 1944-. Edition: Изд. стер.Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва ЛИБРОКОМ 2017Other title: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя.Availability: No items available : Log in to add tags Add to cart (remove)
	5.	No cover image available Математическая логика Ч. 2 Учебно-методическое пособие по курсу "Математическая логика" Сост. Н. А. Паршина; Том. гос. ун-т. Каф. математической логики и пректирования by Паршина, Нина Андреевна [сост.] \| Томский государственный университет. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск б. и. 2000Other title: Исчисление предикатов.Availability: No items available : Log in to add tags Add to cart (remove)
	6.	No cover image available Витгентшейн против Гёделя: доказанность и доказуемость К. А. Родин by Родин, Кирилл Александрович \| Томский государственный университет Философский факультет Публикации студентов и аспирантов ФсФ. Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	7.	No cover image available Конструктивизм в логике и математике (Витгенштейн против Геделя: некоторые современные прочтения) К. А. Родин by Родин, Кирилл Александрович. Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article; Format: electronic available online Other title: Constructivism in logic and mathematics (Wittgenstein V. Gödel: some selected contemporary readings).Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	8.	Математическая логика. Курс лекций. Задачник-практикум и решения Лихтарников Л. М.,Сукачева Т. Г. by Лихтарников Л. М \| Сукачева Т. Г. Edition: 4-е изд., стер.Material type: Text; Format: electronic ; Audience: General; Language: Russian Publication details: Санкт-Петербург Лань 2022Online access: Click here to access online \| Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)