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

А.В. Кузнецов

Displaying similar documents to “О функциональной выразимости в суперинтуиционистских логиках”

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

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

Matematiceskie issledovanija

Similarity:

О двупорожденных дважды однородных квазигруппах

А.В. Кузнецов, Е.А. Кузнецов (1983)

Matematiceskie issledovanija

Similarity:

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

А.В. Кузнецов, А.Ю. Муравицкий (1987)

Matematiceskie issledovanija

Similarity:

Заметка, относящаяся к интегрированию уравнений маханики

В.Н. Кузнецов ([unknown])

Matematiceskij sbornik

Similarity:

О гипотезе Лемера. I

Н.В. Кузнецов (1979)

Zapiski naucnych seminarov Leningradskogo

Similarity:

О неразрешимости общих проблем полноты, разрешения и эквивалентности для исчислений высказываний

А.В. Кузнецов, A.V. Kuznecov, A.V. Kuznecov, A.V. Kuznecov, A.V. Kuznecov (1963)

Algebra i Logika

Similarity:

Алгоритмы, алгебры и интуиционистская логика

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

Matematiceskie issledovanija

Similarity:

Сложность вентильных схем, получаемых с помощью градиентного алгоритма

С.Е. Кузнецов (1978)

Verojatnostnye metody i kibernetika

Similarity:

Моделирование контактных схем на цифровых машинах

С.Е. Кузнецов (1978)

Verojatnostnye metody i kibernetika

Similarity:

Влияние нулевых цепей на сложность контактных схем

С.Е. Кузнецов (1984)

Verojatnostnye metody i kibernetika

Similarity:

Особые случаи задачи продолжения пограничного слоя

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

Zapiski naucnych seminarov Leningradskogo

Similarity:

О нижней оценке длины кратчайшей д.н.ф. почти всех булевых функций

С.Е. Кузнецов (1983)

Verojatnostnye metody i kibernetika

Similarity:

Двойственность функторов и двойственность категорий

В.В. Кузнецов, А.С. Шварц (1968)

Sibirskij matematiceskij zurnal

Similarity: