Logic, Computation and Rigorous Methods | lit.salon