Odin sposob otyskaniya značenij formul isčisleniya vyskazyvanij
P. Hotomski (1975)
Matematički Vesnik
Similarity:
Displaying similar documents to “Primenenie mnogomernyh formul Karlemana”
Odin sposob otyskaniya značenij formul isčisleniya vyskazyvanij
О формульных многообразиях ассоциативных колец
Б.М. Верников (1986)
Matematiceskie issledovanija
Similarity:
Два неразрешимых класса формул классического исчисления предикатов
В.П. Оревков (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Принципы нормализации формул
Т.Г. Мустафин (1981)
Sibirskij matematiceskij zurnal
Similarity:
Неразрешимость в модальном исчислении предикатов класса формул, содержащих только одну одноместную предикатную переменную
В.П. Оревков (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Три способа выявления несущественных формул в секвенциях
В.П. Оревков (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О распознавании тавтологичности пропозициональных формул
П.Ю. Суворов (1976)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Нижние оценки увеличения сложности выводов после устранения сечений
В.П. Оревков (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Одна специализация формы вывода в генценовских исчислениях и ее приложения
В.П. Оревков (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О биконъюнктивных классах сведения
В.П. Оревков (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Замечание об усилении гипотезы Г.Крайзеля
В.П. Оревков (1989)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Разрешимые классы псевдопредваренных формул
В.П. Оревков (1976)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Гливенковские классы секвенций
В.П. Оревков (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity: