scientific article
From MaRDI portal
Publication:3674650
zbMath0523.03043MaRDI QIDQ3674650
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
epsilon substitutionformulas with functional parameterssimplified proof of Ackermann's theorem about the consistency of Peano arithmetic
Related Items (2)
Epsilon substitution method for elementary analysis ⋮ A method of epsilon substitution for the predicate logic with equality
This page was built for publication:
