Logic, sets and functions | lit.salon