scientific article
From MaRDI portal
Publication:3926576
zbMath0472.03046MaRDI QIDQ3926576
Wilfried Buchholz, Kurt Schütte
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
proof theorybounds for the proof theoretic ordinals of several subsystems of classical analysisdirect syntactical means
Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35)
This page was built for publication:
