Title: Iteration theories
Subjects: Computer science, Iterative methods (Mathematics), Mathematics, Symbolic and mathematical Logic