Logic, Computation, Hierarchies | lit.salon