Vitalsource Technologies, Inc. Problems In Set Theory, Mathematical Logic And The Theory Of Algorithms