Cut-elimination for SBL
From MaRDI portal
Publication:6274590
DOI10.1007/978-3-030-49424-7_15arXiv1606.04194MaRDI QIDQ6274590
Publication date: 13 June 2016
Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35)
This page was built for publication: Cut-elimination for SBL