ML Anthology

Aiello, Mario

1 publications

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