ML Anthology

Weyhrauch, Richard W.

1 publications

IJCAI 1975 Checking Proofs in the Metamathematics of First Order Logic Mario Aiello, Richard W. Weyhrauch