Gentzen-type Systems and Hilbert’s Epsilon Substitution Method (1994)

by G Mints
Venue:Logic, Methodology and Philosophy of Science IX