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

Search

Your search returned 3 results.

	1.	Ф. П. Рамсей и программа логицизма В. А. Суровцев ; Том. гос. ун-т by Суровцев, Валерий Александрович \| Томский государственный университет. Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск Издательство Томского университета 2012Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	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)
	3.	No cover image available О соотношении теории типов Б. Рассела и теории типов Ф. П. Рамсея В. А. Суровцев by Суровцев, Валерий Александрович. Source: Общество знания: философия, управление, образование : материалы III Сибирского философского семинара Всероссийской научной конференции с международным участиемMaterial type: Article; Format: print festschrift ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available : Log in to add tags Add to cart (remove)