Научная библиотека ТГУ 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 Сидоренко, Евгений Александрович, 1940-. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Б.и. 2000Availability: No items available : Log in to add tags Add to cart (remove)
	3.	Логика. Парадоксы. Возможные миры размышления о мышлении в девяти очерках Е. А. Сидоренко by Сидоренко, Евгений Александрович, 1940-. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Эдиториал УРСС 2002Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Методы и средства вычислений с объектами аппликативные вычислительные системы В. Э. Вольфенгаген ; Ин-т актуал. образования "ЮрИнфоР-МГУ", Каф. перспектив. компьютер. исслед. и информ. технологий by Вольфенгаген, Вячеслав Эрнстович. Series: Библиотека "ЮрИнфоР"Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Центр ЮрИнфоР 2004Availability: 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.	Математическая логика. Курс лекций. Задачник-практикум и решения Лихтарников Л. М.,Сукачева Т. Г. 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)