|
1.
|
|
|
2.
|
|
|
3.
|
|
|
4.
|
Спор: О теории и практике спора by Поварнин, Сергей Иннокентьевич. Material type: Text; Format:
print
Publication details: СПб Лань 1996Availability: No items available :
|
|
5.
|
|
|
6.
|
|
|
7.
|
Логика доказывания А. А. Эйсман by Эйсман, Алексей Александрович. Material type: Text; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publication details: М. Юридическая литература 1971Availability: No items available :
|
|
8.
|
Система машинной поддержки доказательства: от тактикалов к генератору тактикалов И. С. Ануреев by Ануреев, И. С. Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
9.
|
|
|
10.
|
|
|
11.
|
|
|
12.
|
Упражнения по логике сборник под ред. Л. Г. Тоноян by Тоноян, Лариса Грачиковна [edt]. Material type: Text; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Language: Russian Publication details: Москва Проспект 2014Availability: No items available :
|
|
13.
|
|
|
14.
|
|
|
15.
|
|
|
16.
|
|
|
17.
|
|
|
18.
|
Логика Александр Никифоров by Никифоров, Александр Леонидович, 1940-. Series: Весь мир знанийMaterial type: Text; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publication details: Москва Весь Мир 2001Availability: No items available :
|
|
19.
|
|
|
20.
|
Логика учебник Н. А. Маслов by Маслов, Николай Аркадьевич. Series: Высшее образованиеEdition: 2-е изд.Material type: Text; Format:
print
; Literary form:
Not fiction
Language: Russian Publication details: Ростов-на-Дону Феникс 2008Availability: No items available :
|
|
21.
|
|
|
22.
|
|
|
23.
|
|
|
24.
|
|
|
25.
|
|
|
26.
|
|
|
27.
|
|
|
28.
|
Логика, или наука о законах мышления Иоанн М. Смирнов by Смирнов, Иоанн Михайлович. Material type: Text; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Language: Russian Publication details: Москва в типографии В. Готье 1852Availability: No items available :
|
|
29.
|
|
|
30.
|
|
|
31.
|
Введение в современную логику А. В. Гладкий by Гладкий, Алексей Всеволодович. Material type: Text; Format:
print
; Literary form:
Not fiction
Language: Russian Publication details: М. Изд-во Моск. центра непрерыв. мат. образования 2001Availability: No items available :
|
|
32.
|
|
|
33.
|
|
|
34.
|
Model checking knowledge and fixpoints N. V. Shilov, N. Garanina by Shilov, N. V | Garanina, N. Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
35.
|
|
|
36.
|
|
|
37.
|
|
|
38.
|
|
|
39.
|
Логика для юристов учебное пособие В. И. Курбатов by Курбатов, Владимир Иванович, 1947-. Material type: Text; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publication details: Москва [и др.] Дашков и К° [и др.] 2010Availability: No items available :
|
|
40.
|
Логика учебник [С. С. Гусев, Э. Ф. Караваев, Г. В. Карпов и др.] ; под ред. А. И. Мигунова, И. Б. Микиртумова, Б. И. Федорова by Гусев, Станислав Сергеевич, 1939- | Караваев, Эдуард Федорович | Карпов, Глеб Викторович | Мигунов, Анатолий Иванович [edt] | Микиртумов, Иван Борисович [edt] | Федоров, Борис Иванович [edt]. Material type: Text; Format:
print
; Literary form:
Not fiction
Language: Russian Publication details: Москва Проспект 2011Availability: No items available :
|
|
41.
|
|
|
42.
|
|
|
43.
|
|
|
44.
|
|
|
45.
|
Логика учебник для бакалавров [С. С. Гусев, Э. Ф. Караваев, Г. В. Карпов и др.] ; под ред. А. И. Мигунова, И. Б. Микиртумова, Б. И. Федорова by Гусев, Станислав Сергеевич, 1939- | Караваев, Эдуард Федорович | Карпов, Глеб Викторович | Мигунов, Анатолий Иванович [edt] | Микиртумов, Иван Борисович [edt] | Федоров, Борис Иванович [edt]. Material type: Text; Format:
print
; Literary form:
Not fiction
Language: Russian Publication details: Москва Проспект 2016Availability: No items available :
|
|
46.
|
Оценка длины убедительных доказательств в языках спецификаций задач А. А. Москвитин by Москвитин, А. А. Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
47.
|
|
|
48.
|
|
|
49.
|
|
|
50.
|
|