Book 4
Book 4
Studies in Constructive Mathematics and Mathematical Logic
Herbrand's Theorem for Prenex Formulas of Constructive Predicate Calculus .. 47 G. E. Mints Variation in the Deduction S... MoreStudies in Constructive Mathematics and Mathematical Logic




