Vitalsource Technologies, Inc. Foundations of Mathematics and other Logical Essays