Fundamental Proof Methods in Computer Science compare prices