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

Search

Your search returned 6 results.

	1.	Структура и случайность Т. Тао ; пер. с англ. Н. В. Цилевич by Тао, Теренс, 1975-. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва МЦНМО 2013Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Искусственный интеллект современный подход : пер. с англ. Стюарт Рассел, Питер Норвиг by Рассел, Стюарт, 1962- \| Норвиг, Питер. Edition: 2-е изд.Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва [и др.] Диалектика 2019Other title: Artificial intelligence. A modern approach.Availability: No items available : Log in to add tags Add to cart (remove)
	3.	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)
	4.	No cover image available N-оператор и элиминация знака тождества в "Логико-философском трактате" Л. Витгенштейна К. А. Родин by Родин, Кирилл Александрович. Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article; Format: electronic available online Other title: The N-operator and the elimination of the identity sign in Ludwig Wittgenstein's Tractatus Logico-Philosophicus.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 Varying domain first-oder modal logic A. R. Gavrikov by Gavrikov, A. R. Source: Initia: Актуальные проблемы социальных наук (26-27 апреля 2019 г.) [Электронный ресурс] : материалы XXI Международной конференции молодых ученыхMaterial type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; 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: Мальцевские чтения : международная конференция, 16-20 ноября 2020 г. : тезисы докладовMaterial type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)