Infinity in Logic and Computation | lit.salon