Concepts of Proof in Mathematics, Philosophy, and Computer Science || Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction
Probst, Dieter, Schuster, PeterVolume:
10.1515/97
Year:
2016
Language:
english
DOI:
10.1515/9781501502620-016
File:
PDF, 609 KB
english, 2016