Cut-type rules for calculi of general type
From MaRDI portal
Publication:1256457
DOI10.1007/BF01091548zbMath0404.03042OpenAlexW1975047372MaRDI QIDQ1256457
Publication date: 1977
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01091548
Cites Work
This page was built for publication: Cut-type rules for calculi of general type