Herbrand's Theorem for Prenex Formulas of Constructive Predicate Calculus .. 47 G. E. Mints Variation in the Deduction Search Tactics in Sequential Calculus . . . . . . . . . . . . . . . . .. . . 52 . . . G. E. Mints Imbedding Operations Associated with Kripke's "Semantics" . . . . . . . . . . . . . . . . . . .. . . 60 . . . .
This is Book 4 in the Seminars in Mathematics Series. See all Seminars in Mathematics books here.
No one has written a review for 'Studies in Constructive Mathematics and Mathematical Logic'
Why not be the first to share your opinion?
