Set Theory for Computing