A Natural Proof System for Herbrand's Theorem.

Benjamin Ralph

Browse the full LFCS paper archive.