A note on the elimination rules
From MaRDI portal
Publication:1242903
DOI10.1007/BF00262062zbMath0368.02035MaRDI QIDQ1242903
Publication date: 1977
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
03F99: Proof theory and constructive mathematics
Cites Work