Logic: theoretical and applied | lit.salon