Факультетские библиотеки

Карточный/Имидж каталог

Your search returned 8 results.

Results
	1.	No cover image available К невозможности содержательного определения знания: языковые истоки скептицизма? Л. Д. Ламберов by Ламберов, Лев Дмитриевич. Source: Философия науки и инновационные технологии в науке и образовании : материалы конференцииMaterial type: Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; 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: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article; Format: electronic available online Other title: The universal characteristic of G. W. Leibniz and the prospective developments in the foundations of mathematics.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	No cover image available Понятие доказательства в контексте теоретико-типового подхода, III: доказательства как (некоторые) типы Л. Д. Ламберов by Ламберов, Лев Дмитриевич. Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article; Format: electronic available online Other title: The concept of proof in the context of a type-theoretic approach, III: proofs as (some) types.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	5.	No cover image available Понятие доказательства в контексте теоретико-типового подхода, II: доказательства теорем Л. Д. Ламберов by Ламберов, Лев Дмитриевич. Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article; Format: electronic available online Other title: The concept of proof in the context of a type-theoretic approach, II: proofs of theorems.Online access: Click here to access online 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 Other title: Mathematical structuralism from the standpoint of (modal) set theory.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 Понятие доказательства в контексте теоретико-типового подхода, I: доказательство программ Л. Д. Ламберов by Ламберов, Лев Дмитриевич. Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article; Format: electronic available online Other title: The concept of proof in the context of a type-theoretic approach, I: proof of computer program correctness.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	8.	No cover image available В защиту дефляционной конвенции T ("кантианские темы" в современной эпистемологии) Л. Д. Ламберов, И. П. Тарасов 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)