EuDML | Browse

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations
03Bxx General logic

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 59 Next

Displaying 1161 – 1180 of 1306

О применениях булевых степеней алгебраических систем.

А.Г. Пинус (1985)

Sibirskij matematiceskij zurnal

О простых идеалах в кольцах многочленов.

М.А. Тайцлин (1968)

Algebra i Logika

О разрешимости классов иерархий регулярных апериодических языков.

В.Л. Селиванов (2002)

Algebra i Logika

О разрешимости некоторых теорий целых чисел.

Ю.Г. Пензин (1973)

Sibirskij matematiceskij zurnal

О разрешимости расширенных теорий сложения натуральных и целых чисел.

А.А. Иванов (1984)

Sibirskij matematiceskij zurnal

О разрешимости теории булевых алгебр с выделенным идеалом

А.С. Морозов (1982)

Sibirskij matematiceskij zurnal

О разрешимости теорий первого порядка групп и моноидов целочисленных матриц

Ю.В. Нагребецкая (2000)

Algebra i Logika

О распознавании замещаемости в рекурсивных языках

A.В. Гладкий, A.V. Gladkij, A.V. Gladkij, A.V. Gladkii, A.V. Gladkij (1963)

Algebra i Logika

О распознавании инвариантных свойств коротких алгорифмов

Н.К. Косовский (1979)

Zapiski naucnych seminarov Leningradskogo

О распознавании тавтологичности пропозициональных формул

П.Ю. Суворов (1976)

Zapiski naucnych seminarov Leningradskogo

О реализациях предикатных формул

М.М. Кипнис (1971)

Zapiski naucnych seminarov Leningradskogo

О решетке нормальных модальных логик.

Л.Л. Максимова, В.В. Рыбаков (1974)

Algebra i Logika

О свойствах суперинтуиционистских пропозициональных исчислений.

В.И. Хомич (1990)

Sibirskij matematiceskij zurnal

О секвенциальных вариантах прикладных исчислений предикатов

М.Г. Рогава (1967)

Zapiski naucnych seminarov Leningradskogo

О семантике модальной логики

Г.Е. Минц (1969)

Zapiski naucnych seminarov Leningradskogo

О системах алгоритмических алгерб, сохраняющих идеалы в решетке рекурсивно перечислимых множеств

Ю.В. Голунков, А.А. Савельев (1987)

Verojatnostnye metody i kibernetika

О системе аксиом исчисления строгой импликации

Л.Л. Максимова (1964)

Algebra i Logika

О сложности линейных выводов в методе резолюций

Р.К. Самитов (1983)

Verojatnostnye metody i kibernetika

О структуре конституант $Π_{1}^{1}$ -множеств

В.Г. Кановей (1983)

Sibirskij matematiceskij zurnal

О суперинтуиционистских логиках

А.В. Кузнецов (1975)

Matematiceskie issledovanija

Currently displaying 1161 – 1180 of 1306

Previous Page 59 Next