Cut Elimination in Transfinite Type Theory
From MaRDI portal
Publication:4055626
DOI10.1002/malq.19730190805zbMath0302.02009OpenAlexW2086773736MaRDI QIDQ4055626
Publication date: 1973
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19730190805
This page was built for publication: Cut Elimination in Transfinite Type Theory