On Herbrand's Theorem for Intuitionistic Logic.

Alexander V. Lyaletski, Boris Konev

Browse the full JELIA paper archive.