Checking Proofs in the Metamathematics of First Order Logic.

Mario Aiello, Richard W. Weyhrauch

Browse the full IJCAI paper archive.