scientific article; zbMATH DE number 3827857

zbMATH Open0523.03043MaRDI QIDQ3674650FDOQ3674650

G. E. Mints

Publication date: 1982

Title of this publication is not available (Why is that?)

zbMATH Keywords

epsilon substitutionformulas with functional parameterssimplified proof of Ackermann's theorem about the consistency of Peano arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cited In (2)

• A method of epsilon substitution for the predicate logic with equality
• Epsilon substitution method for elementary analysis

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3674650)