Applicable Mathematics in a Minimal Computational Theory of Sets (Logical Methods in Computer Science, 2018)