Секвенциальный вариант исчисления конструктивной логики для нормальных формул без структурных правил вывода
Р.А. Плюшкевичус (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Р.А. Плюшкевичус (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Н.К. Косовский (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Т.А. Тушкина, К.В. Шахбазян (1970)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Н.С. Григорьева (1987)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Н.К. Косовский (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
М.В. Буслаева (1970)
Zapiski naucnych seminarov Leningradskogo
Similarity:
В.М. Бабич, Ю.П. Данилов (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Н.В. Антонов (1987)
Zapiski naucnych seminarov Leningradskogo
Similarity:
В.Г. Дейч (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
В.Г. Мазья (1972)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Е.М. Дынькин (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Б.Г. Николаев (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Ю. Соколовски (1987)
Zapiski naucnych seminarov Leningradskogo
Similarity:
В.Н. Кублановская (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
М.Ф. Пышкина (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Б.Г. Николаев (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
С.К. Тлеуженов (1987)
Zapiski naucnych seminarov Leningradskogo
Similarity: