Publication:3708018
From MaRDI portal
zbMath0583.03044MaRDI QIDQ3708018
Publication date: 1985
03F05: Cut-elimination and normal-form theorems
Related Items
zbMath0583.03044MaRDI QIDQ3708018
Publication date: 1985
03F05: Cut-elimination and normal-form theorems
Related Items