Title: Computer Arithmetic and Formal Proofs
Subjects: Proof theory, Algorithms