A Study of Husserl's Formal and Transcendental Logic