Abstract

I shall deal here with conceptual questions concerning two related phenomena: 1) the use of deductive machinery to verify the correctness of computer programs, and 2) the running of programs on computers to produce proofs.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call