scientific article; zbMATH DE number 1418438
From MaRDI portal
Publication:4941993
zbMath0954.03061MaRDI QIDQ4941993
Publication date: 5 February 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (4)
Epsilon substitution for \(ID_1\) via cut-elimination ⋮ Cut elimination for a simple formulation of epsilon calculus ⋮ Epsilon substitution for transfinite induction ⋮ The epsilon calculus and Herbrand complexity
This page was built for publication:
