Vitalsource Technologies, Inc. Logic And Foundations Of Mathematics