Documents Etudes supérieures Encoding Transition Systems in Sequent Calculus Raymond McDowell Raymond Mcdowell
Documents Etudes supérieures Cut Elimination for a Logic with Definitions and Induction Raymond McDowell Raymond Mcdowell