View of On the proof-theory of a first-order extension of GL

Return to Article Details On the proof-theory of a first-order extension of GL Download Download PDF