Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия, Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
О некоторых свойствах секвенциальных исчислений генценовског
07.04.2014, 11:55
Здравствуйте ! Речь идет о секвенциальных исчислениях генценовского типа. Можно ли заменить доказательство секвенции доказательством одной из секвенций