|
|
1.
|
Применения методов теории доказательств в теории категории / А. А. Бабаев.
by Бабаев, А. А. Material type:  Text; Format:
print
; Literary form:
Not fiction
Баку : Элм, 2001Availability: No items available Lost (1).
|
|
|
2.
|
Философско-методологические аспекты релевантной логики / Евгений Войшвилло.
by Войшвилло, Евгений Казимирович. Material type: Text; Format:
print
; Literary form:
Not fiction
Москва, Изд-во МГУ, 1988Availability: No items available Lost (3).
|
|
|
3.
|
Проблема неполноты теории и ее гносеологическое значение / Леонид Антипенко ; Отв. ред. Н. И. Стжкин, Л. И. Мчедлишвили ; АН СССР. Ин-т философии.
by Антипенко, Леонид Григорьевич | Стяжкин, Н. И [რედაქტორი] | Мчедлишвили, Л. И [რედაქტორი] | АН СССР. Ин-т философии. Material type: Text; Format:
print
; Literary form:
Not fiction
Москва : Наука, 1986Availability: No items available Lost (2).
|
|
|
4.
|
Ламбада-исчисление : Хендрик Барендрегт ; Пер. с англ. Г. Е. Минца ; Под ред. А. С. Кузичева. Его синтаксис и семантика /
by Барендрегт, Хендрик Питер | Минц, Г. Е [მთარგმნელი] | Кузичев, А. С [რედაქტორი]. Material type: Text; Format:
print
; Literary form:
Not fiction
Москва : Мир, 1985Availability: No items available Lost (1).
|
|
|
5.
|
Отрицание в логике и грамматике / Александр Бахарев.
by Бахарев, Александр Иванович. Material type: Text; Format:
print
; Literary form:
Not fiction
Саратов : Изд-во Сарат. ун-та, 1980Availability: No items available Lost (1).
|
|
|
6.
|
Математические методы в теории научно-технической информации : В. Б. Борщев ; Гос. ком. СССР по науке технике. Ин-т повышения квалификации информационных работников. Метод. пособие.Ч. 2 : Математическая логика /
by Борщев, В. Б | Гос. ком. СССР по науке технике. Ин-т повышения квалификации информационных работников. Material type: Text; Format:
print
; Literary form:
Not fiction
Москва, 1979Availability: No items available Lost (1).
|
|
|
7.
|
Теория автоматов, алгоритмов и математическая логика : Отв. ред. А. А. Летичевский ; АН УССР. Науч. совет по проблеме "Кибнрнетика". Ин-т кибернетики. Сборник статей /
by Летический, А. А [მთავარი რედაქტორი] | АН УССР. Науч. совет по проблеме "Кибнрнетикка". Ин-т кибернетики. Material type: Text; Format:
print
; Literary form:
Not fiction
Киев, 1974Availability: No items available Lost (1).
|
|
|
8.
|
Теория алгорифмов и математическая логика : Под ред. Б. А. Кушнера ; АН СССР. Вычислит. центр. Сборник статей /
by Кушнер, Б. А [რედაქტორი] | АН СССР. Вычислит. центр. Material type: Text; Format:
print
; Literary form:
Not fiction
Москва : ВЦ АН СССР, 1974Availability: No items available Lost (3).
|
|
|
9.
|
Теория моделей : Михаил Тайцлин ; Новосибирский гос. ун-т. Спецкурс для студентов-математиков НГУ/
by Тайцлин, Михаил | Новосибирский гос. ун-т. Material type: Text; Format:
print
; Literary form:
Not fiction
Новосибирск, 1970Availability: No items available Lost (1).
|
|
|
10.
|
Краткий очерк истории общей и математической логики в России / Н. И. Стяжкин, В. Д. Силаков.
by Стяжкин, Н. И | Силаков, В. Д. Material type: Text; Format:
print
; Literary form:
Not fiction
Москва : Высш. школа, 1962Availability: No items available Lost (1).
|