Herbrand's Theorem for Prenex Gdel Logic and its Consequences for Theorem Proving.

Matthias Baaz, Agata Ciabattoni, Christian G. Fermller

Browse the full LPAR paper archive.