Return to Article Details Formal polynomials, heuristics and proofs in logic Download Download PDF