Comment on The Mechanics of ProofparentComments−User232yThis[1] contains an explanation of his proof format. More generally many of the later monographs from that archive have interesting proofs. Also the book Predicate Calculus and Program Semantics is chock full of proofs.[1] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD13xx/E...
Comments
This[1] contains an explanation of his proof format. More generally many of the later monographs from that archive have interesting proofs. Also the book Predicate Calculus and Program Semantics is chock full of proofs.
[1] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD13xx/E...