Request a copy of the file
Enter the following information to request a copy for the following item: Machine checking proof theory: An application of logic to logic
Requesting the following file: 04_Gore_Machine_checking_proof_theory:_2009.pdf
In order to request a copy of the file, you must accept the Request a copy (Google reCaptcha) cookies.