Publication:5638276
From MaRDI portal
zbMath0231.02033MaRDI QIDQ5638276
Publication date: 1970
03F05: Cut-elimination and normal-form theorems
Related Items
A constructive consistency proof of a fragment of set theory, Beweistheorie vonKPN, Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen