A sequent calculus demonstration of Herbrand's Theorem
| Title | A sequent calculus demonstration of {H}erbrand's {T}heorem |
| Publication Type | Unpublished |
| Year of Publication | Submitted |
| Authors | McKinley, R |
| URL | http://www.iam.unibe.ch/ltgpub/submitted/mck11.pdf |
| Citation Key | mck11 |
