Infinity In Logic And Computation by