An Introduction to Hilbert Space and Quantum Logic